Ada Resource Association

The industrialization age of programming by contract is opening a new era in software development. Just as development techniques went from assembly to structured languages and from structured languages to object orientation, contract-based programming is providing one more abstraction to software design.

This article on Embedded.Com explores the contract facilities of Ada 2012.

A brief discussion of the new features in Ada 2012, with an emphasis on the contract features.

Some questions and answers about Ada and Ada 2012 and its use in embedded systems.

EE Times covers the completion of the Ada 2012 Standard.

The December 2012 issue of The MagPi continues the series on programming the Raspberry Pi in Ada. This article focuses on types, conditionals, and literals.

Issue 6 of The MagPi starts a series on programming the Raspberry Pi in Ada. This part focuses on running the compiler, basic program structure, and basic typing.

Jack Ganssle writes about Ada 2012.

Both C++ and Ada have been undergoing major revisions, resulting in the almost synchronized releases of C++ 11 and Ada 2012. This article describes the most notable additions to the two languages, and show how they relate one to the other.

This article describes some areas where Ada’s built-in language features are superior to what’s available in C and C++.