The Ada programming language was born in the mid-1970s, when the US Department of Defense (DoD) and the UK’s Ministry Of Defence sought to replace the hundreds of specialized programming lang… ...

The International Organization for Standardization (ISO) has approved Ada 2012, the latest version of the technical workhorse programming language.

Watch how Ada, Spark, and Rust are shaping the future of safe, high-performance embedded software in this in-depth ...

In a sense, the software industry has caught up with Ada. Further, Ada 2012 features like contract-based programming are fun to use.

High Reliability Software Applications that require high reliability are often require high levels of safety such as cars and planes. Programming languages like Ada, SPARK and Rust are designed to ...

The story could stop here. However, the fact of the matter is that Ada didn't fall out of fashion because of lack of technical merit, it did so due to lack of appropriate tools (and maybe because ...

AdaCore announced the start of its 4th annual “Make with Ada programming competition” with the goal to design and implement an embedded software project in which Ada or SPARK are the primary ...

Vector Software, the world's leading provider of innovative software solutions for embedded software quality, announced today the latest release of VectorCAST/Ada.