AdaCore Courses

Learn Ada basics: manipulate simple and composite types such as arrays and records, use the different kinds of statements, and structure programs with subprograms and packages.

• Independent
• Self-Paced
• Free Online Course

Explore the Ada programming language through small examples, writing your first Ada program and coding a bouncing ball, rotating balls, and ten bouncing balls.

• Independent
• Self-Paced
• Free Online Course

This course will describe Ada programming features for developing large applications, including exception handling, type safety, access types, encapsulation, and genericity.

• Independent
• Self-Paced
• Free Online Course

Learn the SPARK 2014 subset of Ada 2012: run flow analysis, prove program integrity, apply state abstraction, and verify functional correctness.

• Independent
• Self-Paced
• Free Online Course

Interface Ada with foreign languages: build mixed-language programs that bind Ada code to C, C++ and Java.

• Independent
• Self-Paced
• Free Online Course

This course describes how to develop concurrent application using Ada, in particular through the notion of task and protected object.

• Independent
• Self-Paced
• Free Online Course