Lauterbach's TRACE32 development tool suite fully supports the AdaCore GNAT Pro Ada compiler, designed for safety-critical ...

Boston ObjectAda 8.2 for Linux, an Eclipse-based environment from Aonix for developing mission critical software, features a number of enhancements, in particular the ability to apply its symbolic ...

NUREMBERG, Germany--(BUSINESS WIRE)--EMBEDDED WORLD 2016-- AdaCore, a company offering development and verification tools for reliable, safe and secure software, today released the latest version of ...

eWEEK content and product recommendations are editorially independent. We may make money when you click on links to our partners. Learn More. Though somewhat long-in-the-tooth and seemingly past its ...

The new Ada 2012 standard was recently approved by ISO. It incorporates contracts that will have a major impact on application design. The relationship of a software developer to his or her ...

NEW YORK--(BUSINESS WIRE)--High-integrity software tooling experts, AdaCore, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together ...

The Ada programming language was born in the mid-1970s, when the US Department of Defense (DoD) and the UK’s Ministry Of Defence sought to replace the hundreds of specialized programming languages ...

Ada is a general-purpose language, like C++ or Java, supporting the usual features of modern programming languages, such as data encapsulation, object orientation, templates (called “generics”), ...

High-integrity software tooling specialist AdaCore, has announced the introduction of the Ada and SPARK programming languages into the automotive market. Together with partner Nvidia, AdaCore says it ...