AdaCore University is a dedicated e‑learning center to teach the Ada language and the use of related technologies.
-
Getting Started
In this overview we'll discuss how to interact with the AdaCore University platform, take courses and exercises, and how to download the GNAT technology.
-
Ada 001
Overview
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.
-
Ada 002
Basic Concepts
The basic concepts of the Ada programming language, allowing you to write small programs.
-
Ada 003
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.
-
Ada 004
Multi-Language Programming with Ada
This course presents how Ada can interact with foreign languages such as C, C++ and Java.
-
Ada 005
Concurrency
This course will describe how to develop concurrent application using Ada.
-
Ada 006
SPARK 2014
This course will introduce the formally provable version of Ada: SPARK 2014.