Введение
Глава I. Обзор и анализ проблемы автоматизации процесса синтеза программ 8
1.1 Актуальность рассматриваемой проблемы 9
1.2 Обзор и анализ методов и систем автоматизации процесса разработки программ 13
1.3 Обсуждение рассматриваемой проблемы 27
Выводы по I главе 33
Глава II Постановка задачи. Описание информационной среды и процесса синтеза программ 34
2.1 Постановка задачи 35
2.2 Описание информационной среды диалогового монитора 43
2.3 Описание процесса синтеза программ
в диалоговом мониторе 50 Выводы по II главе 69
Глава III Формализованное описание процесса синтеза программ 70
3.1 Общее описание формализованной систе мы Описание формализованного языка 71
3.2 Описание исходных высказываний формали зованной системы 74
3.3 Формализованное описание процесса синтеза программ . . 82
3.4 Непротиворечивость и полнота формализованной системы^Х Вывод секвенций 94 Выводы по III главе 100
Глава ІV Реализация диалогового монитора по формализованному техническому заданию 101
4.1 Построение алгоритма диалогового монито ра по формализованному техническому зада нию 102
4.2 Описание блок-схемы диалогового монитора. Пример функционирования монитора в иници ативном диалоге 109
4.2.1 Описание блок-схемы диалогового монитора 109
4.2.2 Пример функционирования монитора в иници ативном диалоге 115
Выводы по ІУ главе 119
Глава V Оценка эффективности диалогового монитора 120
5.1 Общий подход к оценке: эффективности методов автоматизации программирования 121
5.2 Оценка качества программ 124
5.3 Оценка времени разработки программ 130
Выводы по У главе 134
Заключение 135
Литература
