Courses from 900+ universities
We learn about how 2U is benefitting from edX, but very little about how edX benefits from 2U.
Organize and share your learning with Class Central Lists.
View our Lists Showcase
AdaCore University is a dedicated e-learning center to teach the Ada language and the use of related technologies.
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…
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…
This course will describe Ada programming features for developing large applications, including exception handling, type safety, access types, encapsulation, and genericity.
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…
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…
This course describes how to develop concurrent application using Ada, in particular through the notion of task and protected object.
Get personalized course recommendations, track subjects and courses with reminders, and more.