The Aeronautical Development Agency has inked a $3.2-million pact with US-based Parametric Technology Corporation for worldwide marketing of ADA software, Autolay, making ADA a key technology player.

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 ...

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 increased adoption of embedded Linux within the general consumer electronics market gives rise to new areas of application development for embedded Linux outside the usual realm of PDAs and mobile ...

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 ...