Article
Feb 14 '13
Published
in Embedded.com by Tucker Taft
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.
Article
Feb 4 '13
Published
in Electronic Design by Quentin Ochem
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.
Article
Jan 31 '13
Published
in Embedded.com by Daniel Bigelow
This article on Embedded.Com explores the contract facilities of Ada 2012.
Article
Jan 25 '13
Published
in Electronic Design by Ben Brosgol
A brief discussion of the new features in Ada 2012, with an emphasis on the contract features.
Article
Jan 17 '13
Published
in Embedded.com by Jack Ganssle
Some questions and answers about Ada and Ada 2012 and its use in embedded systems.
Article
Dec 21 '12
EE Times covers the completion of the Ada 2012 Standard.
Article
Sep 10 '12
Published
in Embedded.com by Jack Ganssle
Jack Ganssle writes about Ada 2012.
Article
Jun 22 '12
Published
in Electronic Design by Quentin Ochem
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.
Article
May 31 '12
Published
in Electronic Design by William Wong
This article describes some areas where Ada’s built-in language features are superior to what’s available in C and C++.
Article
Apr 7 '10
Published
in Embedded.com by Yannick Moy
The ease with which code is analyzable depends of the language type you use.
Static analysis is becoming mainstream, with mature bug-finding tools for C and Java, including products such as Coverity Prevent, Grammatech CodeSonar, and Fortify SCA. These products limit the level of “noise” (false warnings) inherent to such tools to a minimum. However, by carefully selecting those cases for which they report a problem, these bug-finders hide the fact that they are largely uncertain about the overall correctness of the program.
