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

If you're looking for a Unix-like, POSIX-compatible, real-time kernel, there's no shortage of projects trying to build one. Ironclad stands out for using the Ada programming language and its formally ...

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

The AdaCore Make with Ada competition has a winner. The competition is one I helped to judge—I’m very interested in spreading the word about SPARK and Ada. I’ve been doing this for a number of years ...

The Ada programming language has evolved over the years taking in the latest programming ideas from object oriented programming to contract-based programming. Ada 2012 introduced contracts into the ...