Программирование на Ada: надежные, строго типизированные системы

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

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

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

Третья часть фокусируется на специализированных областях применения Ada: создание предметно-ориентированных языков, безопасное программирование, системы реального времени, встраиваемые системы, высокопроизводительные вычисления и безопасно-критичные системы. Эти разделы демонстрируют, почему Ada остается языком выбора для аэрокосмической, оборонной, медицинской и транспортной отраслей.

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