В книге американского специалиста по обработке данных анализируется процесс проектирования и рассматриваются методы проектирования программных систем. Большое внимание уделено этапу тестирования и оптимизации программ, написанных на языке высокого уровня.
Для системных программистов, инженеров-математиков и системотехников в области САПР.
Author(s): Зиглер Кэролл (Carol А. Ziegler )
Publisher: Мир
Year: 1985
Language: Russian
Commentary: обрезаны поля, +OCR
Pages: 329
City: Москва
Предисловие редактора перевода 5
Предисловие автора 7
Глава 1. ВВЕДЕНИЕ 10
1.1. Качество программных систем 11
1.2. Постановка задачи 16
1.3. Проектирование системы 19
1.4. Вспомогательные средства проектирования 25
1.5. Системная документация 30
1.6. Упражнения 33
Глава 2. ПРОЕКТИРОВАНИЕ СИСТЕМ 35
2.1. Определение основных компонентов системы 35
2.2. Методы разработки данных 45
2.3. Методы разработки средств управления 40
2.4. Проектная документация 55
2.5. Упражнения 56
Глава 3. МЕТОДЫ ОРГАНИЗАЦИИ ДАННЫХ 57
3.1. Типы данных 57
3.2. Уровни организации данных 61
3.3. Уровень логической организации данных 65
3.4. Представление данных 70
3.5. Физическая организация данных 83
3.6. Документирование данных 98
3.7. Упражнения 100
Глава 4. ПРОЕКТИРОВАНИЕ ПРОГРАММ 101
4.1. Метод нисходящего проектирования 103
4.2. Метод расширения ядра 117
4.3. Метод восходящего проектирования 125
4.4. Анализ внутреннего потока данных 126
4.5. Вспомогательные средства проектирования программ 129
4.6. Программная документация 135
4.7. Упражнения 137
Глава 5. АЛГОРИТМЫ 139
5.1. Типы алгоритмов 139
5.2. Способы реализации алгоритмов 146
5.3. Методы построения алгоритмов 154
5.4. Документация алгоритмов 179
5.5. Упражнения 179
Глава 6. ПРОЕКТИРОВАНИЕ МОДУЛЕЙ 181
6.1. Структурированные алгоритмы 183
6.2. Схемы передач управления 193
6.3. Управляющие таблицы 203
6.4. Документация модулей 214
6.5. Упражнения 216
Глава 7. РЕАЛИЗАЦИЯ ПРОГРАММНОГО МОДУЛЯ 217
7.1. Подходы к реализации 217
7.2. Реализация данных 220
7.3. Реализация ввода-вывода 224
7.4. Реализация управления 228
7.5. Сложность программы 240
7.6. Оформление программы 244
7.7. Вспомогательные средства, используемые при реализации 248
7.8. Упражнения 251
Глава 8. ПРОВЕРКА ПРАВИЛЬНОСТИ ПРОГРАММ 253
8.1. Обнаружение ошибок 253
8.2. Тестирование модулей 268
8.3. Формальные методы доказательства правильности программ 276
8.4. Оценки ошибок 283
8.5. Средства защиты программных систем 286
8.6. Качество документации 291
8.7. Упражнения 291
Глава 9. ОПТИМИЗАЦИЯ ПРОГРАММ 293
9.1. Экономия памяти - 294
9.2. Экономия времени 301
9.3. Повышение эффективности программ 303
9.4. Средства оптимизации 314
9.5. Документирование показателей эффективности программы 315
9.6. Упражнения 316
Список терминов 317
Литература 321
Предметный указатель 324
