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.
Jun 17 '08
The GNAT Ada-Java Interfacing Suite (GNAT-AJIS), which allows developers to build applications using both languages. With GNAT-AJIS, programmers can combine Java applications compiled to the Java Virtual Machine (JVM) and Ada code that has been compiled either natively or to the JVM. Application areas as diverse as financial services, communications, aerospace, defense, and academic research can all benefit from GNAT-AJIS.