Who doesn’t want to use a programming language that is designed to be reliable, straightforward to learn and also happens to be certified for everything from avionics to rockets and ICBMs? Despite Ada ...

Ada is a programming language with a long history designed to support high quality software development especially for safety and secure applications such as avionics. SPARK is a version of Ada that ...

For those of you interested in getting a very high level view of Ada 2012, there is an hour-long video lecture on You Tube by Ed Schonberg of Adacore. A good companion to this lecture is “Towards ...

In the just released “Rationale for Ada 2012: Introduction,” John Barnes, the British computer scientist best known for his role in developing and promoting the Ada programming language, reviews ...

This Ada Training Course from AdaCore & Vector Software provides a complete introduction to programming in Ada, allowing software engineers to get to grips with the language and related technologies.

Ada is a general-purpose language, like C++ or Java, supporting the usual features of modern programming languages, such as data encapsulation, object orientation, templates (called “generics”), ...

High-integrity software tooling specialist AdaCore, has announced the introduction of the Ada and SPARK programming languages into the automotive market. Together with partner Nvidia, AdaCore says it ...