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)
2006 г. Рыбин Сергей Игоревич любезно согласился ответить на наши вопросы. Получилось очень интересное интервью. Специально для сайта Ada Ru!
0.0
(0)
Представлена история развития и текущее состояние языка Ада в России. Некоторые положения выделены особо. Московский Государственный Университет предлагается, как базовая организация для...
0.0
(0)
Евгений Турышев подробно разбирает работу с GNAT для встраиваемых ARM процессоров на примере конкретной платы.
0.0
(0)
Исходные коды к статье Евгения Турышева «Язык Ada на Atmel SAM4 (Cortex-M) — быстрый старт».