Ada.
Ada - это структурированный, статически типизированный, императивный и объектно-ориентированный язык программирования высокого уровня, расширенный от Паскаль и другие языки. Он имеет встроенную языковую поддержку для проектирования по контракту (DbC), чрезвычайно строгой типизации, явного параллелизма, задач, синхронной передачи сообщений, защищенных объектов и недетерминизма. Ada улучшает безопасность кода и удобство сопровождения за счет использования компилятора для поиска ошибок в пользу ошибок времени выполнения. Ada - это международный технический стандарт, совместно определенный Международной организацией по стандартизации (ISO) и Международной электротехнической комиссией (IEC ). По состоянию на 2020 год стандартом, неофициально называемым Ada 2012, является ISO/IEC 8652: 2012.Изначально Ada была разработана группой под руководством французского компьютерного ученого Жана Ичбиа из CII Honeywell Bull по контракту с Министерством обороны США (DoD) с 1977 по 1983 год для замены более 450 языков программирования, используемых Министерством обороны в то время. Ада была названа в честь Ады Лавлейс (1815–1852), которую считают первым программистом.
В библиотеке РуЛиб есть 16 книг жанра «Ada». Большинство из них можно прочитать онлайн на сайте. Также есть возможность скачать эти книги в доступных форматах, таких как: fb2, html, txt и rtf.
0.0
(0)
Введение в новый язык программирования Ада, ориентированный на современную технологию программирования, Он содержит выразительные средства, ранее не встречавшиеся в языках такого класса, —...
0.0
(0)
Сборник статей специалистов из разных стран посвящен вопросам сравнения, оценки, критики языков программирования Ада, Си, Паскаль и методологии их проведения. В сборник включено 15 статей,...
0.0
(0)
В книге американского автора дается систематическое описание мощного алгоритмического языка Ада, предназначенного для создания крупных программных систем. Большим достоинством языка является...
0.0
(0)
В книге ученого из США излагаются методы и приемы прикладного программирования на языке Ада, которые могут быть использованы при создании системы управления параллельными процессами. Значительное...
0.0
(0)
Кинга известного системного программиста и теоретика информатики (Великобритания), последовательно излагающая теорию взаимодействующих процессов; эта тематика тесно связана с такими реальными...
0.0
(0)
Справочное руководство по языку Ada-83.
0.0
(0)
В 1974 году в Министерстве Обороны США (US Department of Defence / US DoD) осознали, что они теряют много времени, усилий и денег на разработку и сопровождение встроенных компьютерных систем...
0.0
(0)
В книге американского специалиста рассматривается методология разработки прикладных систем программного обеспечения с использованием средств алгоритмического языка Ада. Значительное внимание...
0.0
(0)
Вадим Станкевич опубликовал цикл статей в газете Software за 2006 год.
0.0
(0)
О построении интерфейсов пользователя с использованием языка Ада.
0.0
(0)
Исходные коды к статье Евгения Турышева «Язык Ada на Atmel SAM4 (Cortex-M) — быстрый старт».
0.0
(0)
Механизм сигналов‐слотов и его реализация на языке Ада.
0.0
(0)
Исходные коды к статье Евгения Турышева «Язык Ada на Atmel SAM4 (Cortex-M) — быстрый старт».
0.0
(0)
2006 г. Рыбин Сергей Игоревич любезно согласился ответить на наши вопросы. Получилось очень интересное интервью. Специально для сайта Ada Ru!
0.0
(0)
Представлена история развития и текущее состояние языка Ада в России. Некоторые положения выделены особо. Московский Государственный Университет предлагается, как базовая организация для...
0.0
(0)
Евгений Турышев подробно разбирает работу с GNAT для встраиваемых ARM процессоров на примере конкретной платы.