AdaCore University Courses

This course will go over the basic concepts of the Ada programming language, allowing to write small programs. We'll see in particular how to manipulate simple and composite types, the different kind of statements as well as the basis of program architec…

• Independent
• Finished
• Free Online Course

This course provides 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. Other courses will then…

• Independent
• Finished
• 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
• Finished
• Free Online Course

This course presents how Ada can interact with foreign languages such as C, C++ and Java. Note that some concepts here may require understanding that goes beyond the course currently available on this platform. - See more at: http://university.adacore.co…

• Independent
• Finished
• Free Online Course

SPARK 2014 is a language based on Ada 2012, allowing for formal verification. This course will describe the language subset together with the tools and techniques allowing to formally defining properties and verifying their correctness. - See more at: ht…

• Independent
• Finished
• Free Online Course

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

• Independent
• Finished
• Free Online Course