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

Автор(ы):Бар Р. Дж.
06.10.2007
Год изд.:1988
Описание: В книге американского специалиста рассматривается методология разработки прикладных систем программного обеспечения с использованием средств алгоритмического языка Ада. Значительное внимание уделяется принципам формализованного описания проектируемых систем, обеспечивающим концептуальное единство всех их компонентов и возможность прямого преобразования системных представлений в Ада-программы. Изложение иллюстрируется множеством примеров, позволяющих легко освоить предлагаемую методологию. Для разработчиков автоматизированных систем управления, системных и прикладных программистов, а также студентов соответствующих специальностей вузов.
Оглавление: Предисловие редактора перевода [5]
Предисловие [8]
Часть I. Концептуальные основы системного проектирования [15]
  Глава 1. Введение в проблему [15]
    1.1. Обоснование предлагаемого подхода [15]
    1.2. Проектирование системы и ее жизненный цикл [16]
    1.3. Некоторые замечания об аппаратных и программных средствах [18]
    1.4. Сущность предлагаемого подхода [23]
  Глава 2. Ада — язык системного проектирования [28]
    2.1. Введение [28]
    2.2. Нисходящий обзор характерных особенностей языка Ада, важных для разработчика систем [39]
    2.3. Критический анализ языка Ада [49]
Часть II. Введение в логическое проектирование [53]
  Глава 3. Проектно-ориентированная методика наглядного описания систем [53]
    3.1. Вводные замечания [53]
    3.2. Средства наглядного описания архитектуры систем [54]
    3.3. Разработка набора компонентов стандартных системных структур [74]
    3.4. Связь структурных графов с Ада-программами [106]
    3.5. Заключение [110]
  Глава 4. Введение в проектирование архитектуры системы (с примерами) [112]
    4.1. Введение [112]
    4.2. Стратегия проектирования [116]
    4.3. Эскизное представление потока данных: принципы поэтапной разработки проекта системы [128]
    4.4. Пример разработки проекта: система, реализующая экологическую игру LIFE [130]
    4.5. Пример разработки проекта: система FORMS, реализующая форматированный ввод и вывод данных [141]
    4.6. Пример проектирования системы DIALOGUE (ДИАЛОГ) [162]
    4.7. Заключение [171]
Часть III. Анализ проблем логического проектирования [172]
  Глава 5. Дополнительные сведения о языке Ада [172]
    5.1. Введение [172]
    5.2. Вопросы динамического доступа и порождения задач [173]
    5.3. Другие варианты структуры взаимодействия задач [187]
    5.4. Механизм уведомления о событиях [204]
    5.5. Контроль и обнаружение аномального поведения модулей [208]
    5.6. Компоновка систем [216]
  Глава 6. Модульность, надежность и структурирование: практический пример [218]
    6.1. Введение [218]
    6.2. Требование к подсистеме СОММ [219]
    6.3. Модульность [220]
    6.4. Надежность [233]
    6.5. Рабочее проектирование подсистемы СОММ [246]
    6.6. Заключительные замечания к проекту [267]
    6.7. Заключение [274]
Глава 7. Логическое проектирование многоуровневых систем: пример с применением протокола информационного обмена X. 25 [275]
    7.1. Введение [275]
    7.2. Основные особенности протокола X. 25 [276]
    7.3. Разработка проекта многоуровневой системы с протоколом X. 25 [279]
    7.4. Заключительные замечания к проекту [290]
    7.5. Проектирование семиуровневой модели взаимодействия открытых систем [297]
    7.6. Заключение [299]
Задания для самостоятельного выполнения [301]
Литература [313]
Предметный указатель [315]
Формат: djvu
Размер:3001794 байт
Язык:РУС
Рейтинг: 226 Рейтинг
Открыть: