План спецкурса

1. Место Ада-технологий в современном индустриальном программировании
   - история возникновения языка Ада и развития Ада-индустрии
   - основные сферы применения

2. Язык программирования Ада - введение
   - систематический обзор языка
   - сопоставление с другими популярными технологиями

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

4. Почему Ада - лучшее решение для разработки больших, долго живущих
   систем реального времени с повышенными требованиями к надежности.
   - средства языка, направленные на снижение процента ошибок в процессе
     разработки
   - сопровождение и модификация кода
   - поддержка разработки больших систем
   - надежность и стандартизация

5. Система международных стандартов, поддерживающих Ада-технологии
   - международный стандарт Ады и система сертификации компиляторов
   - вторичные Ада-стандарты

6. Многоплатформная система программирования GNAT как одна из
   современных индустриальных реализаций языка Ада
   - реализация Ады в многоязыковой системе gcc
   - что такое Free Software (как альтернатива бизнес-модели Microsoft)?
   - общая архитектура системы GNAT
   - обзор Ада-инструментария (включая графический отладчик gvd и
     многоплатформную систему построения GUI GtkAda)

7. Интерфейс ASIS как стандартная база разработки мобильного программного
   инструментария.
   - обзор инетфейса ASIS
   - методы разработки программных инструментов


-------------------------------------------------------------------------
Возможные темы студентческих проектов

- разработка конкретных инструментов на базе интерфейса ASIS. В частности,
  прекрасной темой для амбициозных студентов является pretty-printer для Ады.

- применение классических программных метрик для современных языков. Реализация
  соответствующих инструментов для Ада-программ.

- разработка мобильных GUI на базе GtkAda