Документация

Здесь представленна известная мне документация на русском языке в электронном виде:

Частые вопросы и ответы (FAQ)	Сборник вопросов часто задаваемых в конференции fido7.su.pascal.modula.ada относительно языка Ада 95.
Интерфейс ASIS	Введение в ASIS (Ada Semantic Interface Specification, Спецификация Семантического Интерфейса к языку Ада). Интерфейс ASIS служит для анализа синтаксической и семантической информации любой Ада программы.
ASIS для GNAT	Руководство пользователя и справочное руководство по библиотеке ASIS для компилятора GNAT. Можно скачать ZIP архив.
Руководство пользователя GtkAda	GtkAda - это высокоуровневая переносимая графическая библиотека, которая основана на графической библиотеке gtk+, одной из официальных библиотек GNU. Она позволяет легко создавать интерфейсы пользователя, которые бутут переносимы для множества платформ, включая основные платформы, которые используют сервер X11 и платформу Win32. Можно скачать ZIP архив. Доступна, также, документация к GtkAda-1.x.
Система построения распределенных приложений Glade. Руководство пользователя	Построение распределенных систем оговорено в стандарте языка Ада (приложение Е). Компилятор GNAT поддерживает распределенные системы при помощи пакета Glade. Фактически, любую программу, состоящую из нескольких модулей, можно превратить в распределенную, заставив модули выполняться на разных машинах. Кроме подробных инструкций по построению распределенных систем, руководство включает сравнение технологий Glade и CORBA. Можно скачать ZIP архив.
OpenToken - Руководство пользователя	Пакет OpenToken позволяет легко создавать программы лексического и синтаксического анализа на языке Ада. Особенность пакета в отсутствии препроцессора подобного aflex/ayacc. Благодоря использованию наследования и перегрузки операций, входной синтаксис описывается прямо на языке Ада.
Aflex, Ayacc - Руководства пользователя	Программы aflex и ayacc являются генераторами лексических и синтаксических анализаторов и представляют собой аналоги известных программ flex и yacc. В архиве содержатся руководства пользователя в форматах PS и PDF.
Ada Coco/R - Руководство пользователя	Программа Coco/R является генератором лексических и синтаксических анализаторов аналогично паре aflex и ayacc. В архиве содержатся руководства пользователя в форматах PS и PDF.
ACATS - комплект тестов для сертификации Ада-компиляторов	ACATS (Ada Conformity Test Suite) является официальным комплектом тестов, который используется для сертификации Ада-компиляторов на соответствие реализации Ада-системы требованиям стандарта (ANSI/ISO/IEC 8652:1995). Поставка ACATS включает в себя руководство пользователя, тестовые программы и пакеты поддержки. Данный документ, любезно предоставленный Александром Гавва, является переводом руководства пользователя на русский язык. Можно скачать ZIP архив.
Построение компилятора GNAT	Краткая инструкция и практические советы по построению компилятора GNAT из исходных текстов.
Руководство по TG	TG (Test Generator) - программа быстрого создания набора тестов, позволяет компактно и просто описывать любые тесты и создает программу для их исполнения.

Книги

Ада 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 г. Автор знакомит читателей с основными принципами построения языков программнирования приложений реального времени. Одна из глав содержит краткое введение в язык Ада и применение принципов реального времени в этом языке.

Статьи

Ада - идеальный базовый язык образования в области информационных технологий	В.О. Мищенко и С.И. Рыбин показывают адекватность и преимущества использования языка Ада в качестве базового языка университетского обучения. Использован опыт авторов и даны методические указания на важные аспекты обучения с применением языка Ада. Доступны также слайды к выступлению.
Леди Ада	Вадим Станкевич опубликовал цикл статей в газете Software за 2006 год.
Интервью	Рыбин Сергей Игоревич любезно согласился ответить на наши вопросы.
Ада 83 в России: Обзор. 1994г.	Перевод статью Рыбина Сергея Игоревича из журнала Ada Letters за 1994г. Статья освещает развитие языка Ада в Советском Союзе и состояние дел России и СНГ к 1994г.
Построители GUI	О построении интерфейсов пользователя с использованием языка Ада.
Обзор стандарта Ада 2005	В обзоре рассмотрены новые средства языка Ада, предлагаемые в стандарте Ада-2005, такие как интерфейсы, новые ссылочные типы, цыклические зависимости типов между единицами компиляции и пр.
Язык Ада - двадцать лет спустя	Сергей Рыбин и Василий Фофанов популярно освещают возможности языка Ада, его отличия от других языков, останавливаются на некоторых распространенных заблуждениях, касающихся языка. Сокращенная версия статьи была опубликована в журнале "Открытые Системы"
Параллельные вычисления: Ада и Java	А. В. Корочкин, Мустафа Акрам. Небольшое сравнение средств параллельного программирования в языках Ада и Java.
Защищенные модули как универсальный механизм синхронизации процессов в SMP-системах	А. Корочкин, М. Жужель, А. Авдеев, Д. Корочкин. Практическая проверка эфективности механизма защищенных модулей в SMP системах.
Новые концепции и возможности языка Ада95	Статья Кирилла и Олега Перминовых, опубликованная в журнале "Открытые системы", содержит обзор средств языка Ада 95, раскрывает отличия от предыдущего стандарта языка, является прекрасным вводным материялом дающим ясное представление о языке.
Ада - язык разработки больших программных комплексов реального времени	Более ранняя статья Кирилла и Олега Перминовых в журнале "Открытые системы" посвящена принципам и истории создания языка Ада 83.
Размышлизмы о выборе языка реализации	В последнее время, среди пользователей ОС QNX усиливается интерес к языку Ада. В результате появилась статья "Размышлизмы о выборе языка реализации", в которой автор, Владимир Лось, призывает к использованию языков со встроенными механизмами параллельного исполнения, вместо ручного кодирования операций на основе API конкретной операционной системы. В статье рассматриваются примеры кода на языках Active Oberon, Ada и Zonnon. Автор обещает, что данная статья будет началом цикла статей о языке Ада.
Опыт использования языка Ада	Небольшая статья (3 стр.), как пятеро студентов, изучив Аду за месяц, успешно реализовали дипломный проект разработки компилятора языка высокого уровня.
Краткое введение в язык Ада	Перевод небольшой статьи Eric DeArment, Team Ada.
Опыт создания бортового ПО для истребителя F-22	В статье, автор, Сергей Бобровский, описывает опыт создания сложной (2.2 миллиона строк) бортовой системы современного многоцелевого тактического истребителя F-22. Система была реализована на языке Ada. Удивительно, но автор приходит к выводу, что для реализации подобных российских проектов больше подходит язык C, так как программирование на языке Ada "требует более высокой квалификации". Разве можно создать подобную систему, не имея достаточной квалификации?
Сравнение языков программирования Си++, Паскаль и Ада (Си, Модула-2, Оберон-2 и Ява)	Статья из журнала Программист N 2 за 2002 год. Сравнение проводилось по следующим группам свойств: набор операторов, механизм процедур, конструктор типов, механизмы раздельной компиляции, ООП, процессы и исключительные ситуации, другое. Автором дана субъективная оценка каждого языка программирования.

Слайды

Презентация Введение в конструирование программного обеспечения. В презентации особое внимание уделено вопросам надежности программного обеспечения. Перевод Владислава Козловского. Размер файла 1.1Мб, формат Power Point.

Презентация Языки программирования и конструирование программного обеспечения. Перевод Владислава Козловского. Размер файла 1.0Мб, формат Power Point.

Проекты на Аде
Уроки Ады
Документация
Построители GUI
Ада 2005
Интерфейс ASIS
Построение GNAT
Ада 83
Словарь
Замечание филолога
Tg Guide
Конференции Changed
Разработки Changed
Примеры
Каталог ПО
Полезные ссылки
Поиск в Сети
Скачать