Who doesn’t want to use a programming language that is designed to be reliable, straightforward to learn and also happens to be certified for everything from avionics to rockets and ICBMs? Despite Ada ...

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

Learning a new programming language can be fun and interesting. Ada and SPARK, a version of Ada that allows static proof of a program's operation, are very useful for developing high quality software.

The AdaCore University is a great way to learn Ada and its free. That includes the GPS IDE and Ada compiler. Like most video-based training platforms there is the player (Fig. 1). The PowerPoint ...