Ada Resource Association

Stuart Matthews explains how SPARK 2014 uses and extends the features of Ada 2012 for automated verification of programs.

This two-part article discusses the benefits of developing code with automated static analysis, and then shows examples of doing so, using SPARK.

This article is a tour of the new contract features in Ada 2012.

Jack Ganssle describes and discusses the McCormick, Singhoff, and Hugues book on embedded programming in Ada, suggesting that embedded programmers should read it, regardless of which language they currently use. (He calls it “new”, but it’s been around a while, having an April 2011 publication date and it’s been posted here for a while.)

Nelson H. F. Beebe at the University of Utah has used tools to search the collected bibliographies of over 784,000 publications to create a bibliography of publications on the Ada Programming Language, Charles Babbage, and Ada Lovelace. This bibliography is updated frequently, and contains (as of this writing) over 1500 entries. Additional versions and more information can be found at http://www.math.utah.edu/pub/tex/bib/index-table-a.html#adabooks; the tools used can be found at http://www.math.utah.edu/pub/bibtools.html. The bibliography doesn’t include articles in the Ada User Journal or SIGAda’s Ada Letters, these have their own bibliographies, http://ftp.math.utah.edu/pub//tex/bib/adauserj.pdf and http://ftp.math.utah.edu/pub//tex/bib/sigada.pdf, respectively.

Embedded.com denoted one of their weekly Tech Focus issues to Ada. This is the overview article, full of links to other Ada articles (most of which have been previously featured here).

Describes how Ada features, including new Ada 2012 features, make it possible to describe more of the design of a system than other languages. By describing the design in safe, high-level features, it is easier to verify that the translation of the design to code has been carried out accurately, and more of this verification can be automated.

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.