Каталог / ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ / Математика

Диалоговый монитор для автоматизации процесса синтеза программ ЭВМ

Диссертация

Автор: Виноградский, Эрнст Васильевич

Заглавие: Диалоговый монитор для автоматизации процесса синтеза программ ЭВМ

Справка об оригинале: Виноградский, Эрнст Васильевич. Диалоговый монитор для автоматизации процесса синтеза программ ЭВМ : диссертация ... кандидата физико-математических наук : 01.01.10 Москва, 1984 164 c. : 61 85-1/1506

Физическое описание: 164 стр.

Выходные данные: Москва, 1984






Содержание:

Введение
Глава I Обзор и анализ проблемы автоматизации процесса синтеза программ
§ II Актуальность рассматриваемой проблемы
§ 12 Обзор и анализ методов и систем автоматизации процесса разработки программ
§ 13 Обсуждение рассматриваемой проблемы 27 Выводы по I главе
Глава II Постановка задачи Описание информационной среды и процесса синтеза программ
§ 21 Постановка задачи
§ 22 Описание информационной среды диалогового монитора
§ 23 Описание процесса синтеза программ в диалоговом мониторе
Выводы по II главе
Глава III Формализованное описание процесса синтеза программ
§ 31 Общее описание формализованной системы Л! Описание формализованного языка
§ 32 Описание исходных высказываний формализованной системы
§ 33 Формализованное описание процесса синтеза программ
§ 34 Непротиворечивость и полнота формализованной системы
X Вывод секвенций 94 Выводы по III главе
Глава 1У Реализация диалогового монитора по формализованному техническому заданию
§ 41 Построение алгоритма диалогового монитора по формализованному техническому заданию
§ 42 Описание блок-схемы диалогового монитора
Пример функционирования монитора в инициативном диалоге
§ 421 Описание блок-схемы диалогового монитора
§ 422 Пример функционирования монитора в инициативном диалоге
Выводы по 1У главе
Глава У Оценка эффективности диалогового монитора
§ 51 Общий подход к оценке: эффективности методов автоматизации программирования
§ 52 Оценка качества программ



Похожие работы:
  • Модели синтеза структуры АСУ и выбора объектов автоматизации
  • Цифровой монитор для суточной регистрации ЭКГ
  • Комплекс программ автоматизации вычислительного эксперимента в расчетно-моделирующей среде МАРС
  • Алгоритмическое обеспечение синтеза в системе автоматизации проектирования виброзащитных систем
  • Информационная система синтеза и автоматизации процедур внутрилабораторного контроля качества
  • Пакет прикладных программ для автоматизации решения двух- и трехмерных задач нестационарной фильтрации
  • Исследование и разработка инструментальных средств автоматизации проектирования программ обработки данных для офисных структур
  • Имитационные модели автоматизации анализа и синтеза проектных решений систем жизнеобеспечения зданий
  • Система автоматического синтеза функциональных программ
  • Экономико-математическое исследование потребительского качества программных средств : На прим. компьютер. программ для автоматизации бух. учета