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