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.
Sep 9 '08
AdaCore, provider of the highest quality Ada tools and support, today announced the appointment of Ada expert Stephen Baird to the company’s GNAT Pro implementation team. In this role, he will participate in the development and enhancement of the GNAT Pro technology, and provide expert support for AdaCore customers.
Jul 15 '08
GNATPro on RTX produces real-time Ada applications on Microsoft Windows platforms. RTX provides a real-time subsystem that executes in kernel mode with hard, real-time behavior.