NEW YORK & PARIS--(BUSINESS WIRE)--AdaCore today announced the winners of its fourth annual Make with Ada programming competition for embedded projects. Make with Ada aims to show how the Ada and ...

The SPARK programming language is a formally verifiable subset of the Ada language that allows developers to mathematically prove program properties through static means. These properties include ...

Technology Editor Bill Wong targets Texas Instrument's BeagleBone Black using AdaCore's GNAT Programming Studio and Ada 2012. The BeagleBone Black can run applications writing in just about any ...

AdaCore announced the start of its 4th annual “Make with Ada programming competition” with the goal to design and implement an embedded software project in which Ada or SPARK are the primary ...

AdaCore recently launched a new Ada for the Embedded C Developer course that introduces you to the Ada language by comparing it to C. It assumes that you have good knowledge of the C language.