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 ...

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 ...

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.

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 ...

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 ...

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 ...