В книге американских ученых рассматривается методология разработки больших вычислительных систем, предусматривающая использование специального языка проектирования программ и позволяющая создавать высоконадежное эффективное и легкомодифицируемое программное обеспечение Изложение различных подходов и методов сопровождается большим числом примеров.
Для прикладных и системных программистов, а также студентов старших курсов соответствующего профиля.
Author(s): Зелковиц М., Шоу А., Геннон Дж.
Publisher: Мир
Year: 1982
Language: Russian
Pages: 369
City: Москва
Предисловие редактора перевода 5
Предисловие 7
Глава 1. Разработка программного обеспечения больших систем 9
1.1. Этапы разработки программного обеспечения 11
1.2. Методы управления разработкой 22
1.3. Методы проведения разработки программного обеспечения . . . 38
1.4. Другие подходы к разработке программного обеспечения . . . . 51
1.5. Выводы 57
Глава 2. Методы разработки программного обеспечения 60
2.1. Язык проектирования программ 60
2.2. Стратегии проектирования 65
2.3. Данные 76
2.4. Правильность программ 98
2.5. Тестирование 105
2.6. Методы проектирования 117
Глава 3. Примеры проектирования программ 133
3.1. Последовательность Фибоначчи 134
3.2. Сортировка списка 136
3.3. Задача о размещении автомобилей 142
3.4. Задача на размен денег 156
3.5. Поиск пути через лабиринт 162
3.6. Система бронирования мест на самолеты 176
Глава 4. Разработка мультипрограммной системы, обеспечивающей обслуживание программ, представленных на одном языке программирования 197
4.1. Введение 197
4.2. Общие сведения о системе 199
4.3. Средства интерфейса пользователя 207
4.4. Ядро операционной системы SLOS 209
4.5. Прерывания и ввод-вывод 217
4.6. Структуры файлов 220
4.7. Стратегии планирования и распределения 223
4.8. Разработка процесса 230
4.9. Программы файловой системы 241
4.10. Количественные характеристики производительности 248
4.11. Заключение 249
4.12. Послесловие автора 250
Глава 5. Разработка компиляторов 251
5.1. Структура компилятора 251
5.2. Теоретические основы 260
5.3. Методика разработки компиляюров 276
5.4. Организация компилятора 280
5.5. Организация таблицы символов 288
5.6. Блок сканирования 297
5.7. Синтаксический анализатор 301
5.8. Генерирование кода 318
5.9. Проблема совершенствования 350
5.10. Интерпретаторы 357
5.11. Выводы 358
Литература 359
Предметный указатель 363
