Главная → Книги → Разное → Компьютеры, программирование

Автор(ы):	Бар Р. Дж. 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 байт
Язык:	РУС
Рейтинг:	27

Открыть:	Ссылка (RU)