Ada for Software Engineers (Second Edition with Ada 2005)

Эта книга представляет собой всеобъемлющее руководство по языку программирования Ada, специально написанное для инженеров-программистов, переходящих на Ada, а также для студентов старших курсов и аспирантов. Второе издание обновлено с учетом стандарта Ada 2005. Автор, Мордехай Бен-Ари, использует подход, основанный на изучении языка через крупные примеры (case studies), а не через множество мелких фрагментов кода. Это позволяет читателям понять, как интегрировать различные конструкции языка в эффективные парадигмы программирования, характерные для Ada.

Книга начинается с предположения, что читатель имеет базовые знания компьютерных наук и как минимум два года опыта программирования. Никаких предварительных знаний об Ada не требуется. Автор подчеркивает, что Ada была разработана как целостный язык для сложных программных систем, в отличие от языков, которые развивались постепенно. Поэтому книга уделяет особое внимание таким аспектам, как инкапсуляция, абстракция, проверка типов, обработка исключений и полиморфизм.

Структура книги основана на двух принципах: изучение конструкций языка в контексте реальных программ и использование терминологии и концепций из официального справочного руководства Ada (ARM). Это позволяет читателям в дальнейшем самостоятельно использовать ARM в качестве основного справочника. Некоторые разделы, помеченные звездочкой, можно опустить при первоначальном изучении, но они важны для полного понимания.

Книга подчеркивает важность Ada для создания надежного программного обеспечения, особенно в таких критических областях, как авиация и железнодорожный транспорт. Автор выражает сожаление, что Ada не так широко используется, как могла бы, и надеется, что эта книга побудит больше инженеров-программистов обратить внимание на этот язык.

В целом, это не просто учебник по синтаксису, а руководство по разработке программного обеспечения на Ada, которое поможет читателям освоить язык и применять его для создания сложных и надежных систем.