Монография, написанная профессором Варшавского университета, отражает
коллективный опыт Рабочей группы по методологии программирования
Международной федерации по обработке информации (в группу входили Н. Вирт,
У. Дал, Э. Дейкстра, Д. Грис, Ч. Хоар и др.). Она охватывает три круга
вопросов: основные программные конструкты, модульная структура программ
и проектирование программ.
Для программистов, желающих углубить понимание предмета, для
преподавателей, аспирантов и студентов университетов и втузов.
Author(s): Турский В.
Series: Математическое обеспечение ЭВМ
Publisher: Мир
Year: 1981
Language: Russian
Pages: 271
Титул ......Page 4
Аннотация ......Page 5
Предисловие редактора перевода ......Page 6
Предисловие ......Page 8
Как пользоваться этой книгой ......Page 11
1. Введение ......Page 12
2. Основные программные конструкты ......Page 17
2.1.1. Оператор — последовательность — выбор — повторение ......Page 18
2.1.2. Неформальные соображения по поводу правильности ......Page 36
2.1.3. Формальные свойства и не строго детерминированные конструкты ......Page 44
2.2.1. Элементарные структуры ......Page 59
2.2.2. Примеры составных структур ......Page 71
2.2.3. Структуры и операции — алгебры программ ......Page 80
3. Взаимодействие модулей ......Page 91
3.1.1. Принцип относительной независимости ......Page 92
3.1.2. Преобразования структуры программы ......Page 108
3.1.3. Межмодульные интерфейсы ......Page 117
3.1.4. Неполные спецификации ......Page 125
3.2.1. Интуитивно выдвигаемые принципы ......Page 134
3.2.2. Формальные свойства ......Page 145
3.2.3. Лингвистические соображения ......Page 157
4. Проектирование программ ......Page 166
4.1.1. Слои конечного продукта ......Page 167
4.1.2. Аналитический и синтетический подходы к проектированию программ ......Page 176
4.1.3. Получение заранее спроектированной расслоенной структуры ......Page 194
4.2.1. Виды деятельности, цели и факторы ......Page 203
4.2.2. Бригадная организация работ ......Page 210
4.2.3. Принципы документирования ......Page 219
4.3. Разработка надежных программ ......Page 228
4.4. Усовершенствование программ ......Page 239
4.5. Сопровождение программ ......Page 248
Список литературы ......Page 257
Оглавление ......Page 265
Выходные данные ......Page 268
