TechXchange: Ada and SPARK Basics

Ada is a programming language with a long history designed to support high quality software development especially for safety and secure applications such as avionics. SPARK is a version of Ada that utilizes the contract support that started in Ada 2012 to allow static provability.

Learning More About Ada and SPARK Basics

Software

11 Myths About Ada

The Ada language is alive and well, as can be confirmed by developers of embedded real-time systems in critical industries worldwide. You’d never know that from some of the misconceptio...

Software

What's The Difference: Ada Then and Now

Ada has evolved over the years taking in the latest programming ideas from object oriented programming to contract-based programming.

Software

What’s the Difference Between Ada and SPARK?

Ada and SPARK are programming languages that are especially applicable in systems demanding high confidence in software reliability, safety, and security.

Embedded

C++11 and Ada 2012 - renaissance of native languages?

C++11 and Ada 2012 are the latest incarnations of C++ and Ada programming languages. Quentin Ochem delves into the similarities and differences of some new features in each language...