The basics of programming by contracts and how contracts were introduced in Ada 2012.
Ada 2005 already had assertions. The notion was considerably extended in Ada 2012, with pre- and post-conditions and type invariants. Together with other properties of the language that separate clearly interfaces from implementations, these new features provide an accurate description of the obligations and expectations of the user and of the provider of software components.
Speakers: Jean-Pierre Rosen