Tutorial: Introduction to Ada (Morning) + Advanced Ada (afternoon)

Jean-Pierre Rosen, Adalog, France

This tutorial is an overview of the Ada programming language, from basic syntax to its most sophisticated features. It focuses on what makes Ada different from other languages, and on the benefits that it provides for safety, reliability, maintainability, reusability, and efficiency. The tutorial covers all the main components of the language, accompanied with many examples. It illustrates the benefits of strong typing, the accurate model of numerical computations, the Ada approach to object oriented programming, its unique features for programming by contract, and its support for the concurrency and low level embedded systems programming. It concludes with an overview of the standard libraries (including the annexes), an introduction to SPARK, the high-reliability provable subset of Ada, an overview of the tools available, and examples of industrial users.

The tutorial is structured in two parts, that can be taken seperately (morning / afternoon). The morning will cover the long-lived small and large scale programming features of Ada, and the afternoon will cover features added in newer Ada versions (e.g., Containers, Interfaces, Contracts, Expressions, Parallelism).

Duration: half-day

Level: Intermediary, experience in programming required.

Reason for attending

Understand the benefits of using Ada.
Learn what makes it different from other mainstream programming languages. Appreciate where this is a bonus

Presenter

JP Rosen is a professional teacher, teaching Ada (since 1979, it was preliminary Ada!), methods, and software engineering. He runs Adalog, a company specialized in providing training, consultancy, and services in all areas connected to the Ada language and software engineering. He is chairman of Ada-France. He participated in the design of the extension of the character set for Ada 95, and is the author of AI05-0137-2 that provided UTF support in Ada 2012. Adalog offers regularly on-site and off-site training sessions in Ada.