Целью данной брошюры является продемонстрировать, как изучение языка Ада в целом и возможностей, введенных в редакциях Ада 2005, Ада 2012, в частности, поможет Вам разрабатывать безопасное и надежное программное обеспечение независимо от выбранного языка реализации. В конце концов, успешные реализации такого сорта программного обеспечения пишутся в духе Ады на любом языке! Спасибо Джону, постоянно демонстрирующему это в своих статьях, книгах и данной брошюре.
AdaCore посвящает эту брошюру памяти доктора Jean Ichbiah (1940-2007) — главному архитектору первой редакции языка Ада, заложившему надежный фундамент всех последующих редакций языка.
Франко Гасперони
Главный Исполнительный Директор, AdaCore
Париж, январь 2013