Книги

Безопасное и надежное программное обеспечение

Перевод брошюры "Безопасное и надежное программное обеспечение на примере языка Ада 2012, SPARK 2014" Джона Барнса.

Целью данной брошюры является продемонстрировать, как изучение языка Ада в целом и возможностей, введенных в редакциях Ада 2005, Ада 2012, в часности, поможет Вам разрабатывать безопасное и надежное программное обеспечение независимо от выбранного Вами языка реализации.

Rationale for Ada 2005

Перевод книги Rationale for Ada 2005. В книге рассмотрены изменения введенные в язык в 2005 году принятием Поправки к стандарту языка Ада 95. Подробно объясняется мотивы появления новых конструкций и принципы их работы, даются наглядные примеры использования.

Автор перевода: Самодов Михаил

Ада 95. Качество и стиль. (Главы 1-4)

Перевод книги "Ada 95 Quality and Style", оригинал которой легко найти в интернете, важен как для программистов, перешедших на Аду с других языков программирования, так и для начинающих программистов. Первым он поможет использовать язык правильным способом, а не как язык Си (к примеру) с другим синтаксисом, вторым - разобраться в разнообразии языковых средств и способах их использования. Опытные Ада-программисты также найдут эту книгу полезной, пересмотрев свои методы программирования и сравнив их с рекомендуемыми. Возможно, эту книгу и не очень увлекательно читать, но затраченные усилия с лихвой окупятся при правильном использовании описанных приемов.

Большое спасибо Андрею Огороднику за потраченное на перевод книги время. Свои замечания и мнения о переводе вы можете высказать в нашей конференции.

Вы можете скачать архив с PDF, HTML и DOC версиями перевода.

Адское программирование. Александр Гавва

Мы рады предложить Вам книгу "Адское программирование" любезно предоставленную нам автором, Александром Гавва. Хотя в библиотеках можно найти много хороших книг по Аде, все они описывают стандарт языка 83 года. Эта книга, являясь замечательным пособием для изучающих язык Ада, основана на текущем стандарте Ада 95. Кроме описания самого языка, книга содержит описания свойственных языку методик программирования и руководство по использованию свободно распространяемого компилятора GNAT.

Вы можете скачать книгу для некоммерческого использования. Архив html версии размером 395К находится здесь. Есть также Acrobat PDF и PostScript версии книги.

Перевод стандарта Ада 83

Электронный вариант перевода стандарта языка Ада 83 на русский язык.

Организация системы ИНТЕЛ 432

Первые три главы о языке Ада книги Э. Органик "Организация системы ИНТЕЛ 432" Издательство "Мир" 1987 г. (Elliott I. Organick "A programmr's view of the Intel 432 system" Intel corp. 1983.) Язык Ада использовался в качестве базового языка для реализации системы Intel432. В книге большое внимание уделено выбору языка программирования Ада как в качестве языка реализации операционной системы, так и в качестве базового языка для создания прикладных пакетов программ и систем управления базами данных.

Язык Ада в проектировании систем

Бар Р Издательство "Мир" 1988 г. В книге рассматривается методология разработки прикладных систем ПО с использованием средств языка Ада. Значительное внимание уделяется принципам формализованного описания проектируемых систем, обеспечивающим концептуальное единство всех их компонентов и возможность прямого преобразования системных представлений в Ада-программы. Изложение иллюстрируется множеством примеров, позволяющих легко освоить предлагаемую методологию.

Алгоритмические языки реального времени

Янг С. Издательство "Мир" 1985 г. Автор знакомит читателей с основными принципами построения языков программнирования приложений реального времени. Одна из глав содержит краткое введение в язык Ада и применение принципов реального времени в этом языке.