An overview of the Ada programming language. Through a set of small examples, you will have the opportunity to see, understand and experiment most of the capabilities of the language, and write small programs.
The basic concepts of the Ada programming language, allowing you to write small programs.
Programming in the Large
This course will describe Ada programming features for developing large applications, including exception handling, type safety, access types, encapsulation, and genericity.
Multi-Language Programming with Ada
This course presents how Ada can interact with foreign languages such as C, C++ and Java.
This course will describe how to develop concurrent application using Ada.
This course will introduce the formally provable version of Ada: SPARK 2014.