Feb 2 '09
A follow-up piece by Jack Ganssle from his original article on the adoption of Ada which appears on Embedded.com.
Oct 10 '08
in GCN (Government Computing News)
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.