News

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 ...
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 ...
I’ve been a fan of Ada and SPARK for a while now, and really wished I had it available when I was programming full time. It’s been used in military and avionic applications where secure and safety ...
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 ...