• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Article Aug 24 '10

    Could Ada be the answer to our parallel programming prayers?

    Published in Soft Talk
    A thread on the SoftTalk blog discusses Ada and multicore programming along with other Ada topics in the comments section.
    Continue Reading
    Tags Multicore
  • Article Aug 17 '10

    Achieving Zero Defect Software Development

    Published in Design Talk by John Greenland
    Zero Defect Software Development (ZDSD) is a results-oriented process that emphasizes the analysis, testing and reporting of the causality of defects. This process, which has evolved from the commitment to providing “five-nines” (99.999%) reliability for mission-critical applications, supplants the traditional approach of reacting to undesirable effects and treating symptoms while attempting to manage verification processes using “trend analyses” or simply tracking the occurrences of defects.
    Continue Reading
    Tags Static Analysis
  • Article Jun 6 '10

    Lunar lander project relies on SPARK programming language

    Published in EE Times by Julien Happich
    Altran Praxis announced that its SPARK language has been selected by a new, NASA-funded US lunar mission. SPARK will be used to develop the software behind a CubeSat project being developed by a consortium comprising Vermont Technical College, Norwich University, St. Michael’s College, and the University of Vermont.
    Continue Reading
    Tags SPARK
  • Article Apr 7 '10

    Expressive vs. permissive languages: Is that the question?

    Published in Embedded.com by Yannick Moy
    The ease with which code is analyzable depends of the language type you use. Static analysis is becoming mainstream, with mature bug-finding tools for C and Java, including products such as Coverity Prevent, Grammatech CodeSonar, and Fortify SCA. These products limit the level of “noise” (false warnings) inherent to such tools to a minimum. However, by carefully selecting those cases for which they report a problem, these bug-finders hide the fact that they are largely uncertain about the overall correctness of the program.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Apr 6 '10

    How to use new unit testing tools & techniques to improve software quality

    Published in EE Times by Mark Pitchford
    Unit Test has been around almost as long as software development itself. It just makes sense to take each application building block, build it in isolation, and execute it with test data to make sure that it does just what it should do without any confusing input from the remainder of the application. In the past, the sting came from not being able to simply lift a software unit from its development environment, compile and run it let alone supply it with test data.
    Continue Reading
    Tags SafetySecurity
  • Article Feb 16 '10

    Integrating static analysis with a compiler and database

    Published in Embedded Computing Design by Tucker Taft
    Static analysis tools are becoming more integrated into the software development process. Saving data from the compiler, change history, and error information during the process instead of as a post-code step can make static analysis more productive.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Feb 15 '10

    Executing software contracts

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore CodePeer tool in Executing software contracts; in particular he examines the tool’s ability to create contracts for subprograms.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Dec 7 '09

    Science Fiction Meets Science Fact In Today’s Robot Research

    Published in Electronic Design by William Wong
    William Wong looks at the Dasher project being developed by Mälardalen University in Sweden.
    Continue Reading
    Tags Ada 2005Ada 2012Embedded/Real-time
  • Article Sep 23 '09

    LDRA offers security-critical software solution

    Published in Electronics Talk
    LDRA has released a security-critical development and certification solution to ensure the company’s tool suite meets the growing demand for security-critical software.
    Continue Reading
    Tags SafetySecurity
  • Article Feb 4 '09

    Why aren’t developers interested in Ada?

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle at Embedded.com wonders Why aren’t developers more interested in Ada?
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95
previous12345678910next
  • Press
  • Articles
  • Events
Filter by Tags
  • Ada 2005
  • Ada 2012
  • Ada 95
  • Ada Lovelace
  • Charles Babbage
  • contract-based programming
  • DO-178C
  • Embedded/Real-time
  • Formal Methods
  • Formal Verification
  • Multicore
  • Safety
  • Security
  • software design
  • SPARK
  • Static Analysis

ARA Sponsor Spotlight
Altran_2019_Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2021
    Jun 7-11, 2021 Virtual (was Santander Spain)

View All Events




AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada constructs not found in C/C++
  • Ada Overview
  • Comparing “Strong Typing” in Ada, C, and C++
  • Runtime overhead of Ada programs
  • Where did those Ada OOP features come from?
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2021 Ada Resource Association Site Map | Contact Us