Ada and SPARK are typically used for developing highly reliable software and it can reduce the cost of doing so. Ada and SPARK have typically been used for applications that require high levels of ...

This article is part of Now and Then and Ada and SPARK. The International Organization for Standardization recently approved the latest revision of Ada, known as Ada 2012, close to 30 years after the ...

Ring buffers are incredibly useful data structures that allow for data to be written and read continuously without having to worry about where the data is being written to or read from. Although they ...

GNAT Programming Studio (GPS) 3.0 supports Ada, C, C++, and a wide range of native and cross-development platforms, including Unix, Windows, and GNU/Linux. GPS provides an intuitive, unified visual ...

The GNATbench 2.0 Ada software design tool is a plug-in for Eclipse 3.2, the latest version of the popular open-source platform for integrating software tools. GNATbench supports large, embedded, real ...

AdaCore—a leading supplier of tools used by aerospace and defense contractors to develop programs in the Ada software language—says Ada is not going away even though Java and C++ are often used ...