Ada Resource Association

Static analysis tools are becoming more integrated into the software development process. Saving data from the compiler, change history, and error information during the process instead of as a post-code step can make static analysis more productive.

Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore CodePeer tool in Executing software contracts; in particular he examines the tool’s ability to create contracts for subprograms.

William Wong looks at the Dasher project being developed by Mälardalen University in Sweden.

LDRA has released a security-critical development and certification solution to ensure the company’s tool suite meets the growing demand for security-critical software.

Jack Ganssle at Embedded.com wonders Why aren’t developers more interested in Ada?

A follow-up piece by Jack Ganssle from his original article on the adoption of Ada which appears on Embedded.com.

An article in GCN (Government Computing News) that looks at an NSA-funded project carried out by the U.K.-based Praxis High Integrity Systems and Spre Inc. NSA commissioned the project, which involved writing code for an access control system, to demonstrate high-assurance software engineering.

Joab Jackson takes a look at the history of the Ada programming language, it’s traditional markets, and gives a real picture of Ada’s place in today’s software development world.

Naomi Hamilton at TechWorld chats with S. Tucker Taft, Chairman and CTO of SofCheck. Taft has been heavily involved in the Ada 1995 and 2005 revisions, and still works with the language today as both a designer and user.

Ada95 is a standardized object-oriented programming language that was developed in the late 1970s by the U.S. Department of Defense. Today, engineers like Daniel Ramirez use the highly structured language to increase the safety and reliability of their new robotics applications. (Note: article is now behind a pay wall.)