Специализированная система гиперпрограммирования для языка ПЛ/1

• Автор: Табаков, Владимир Михайлович
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Калинин
• Количество страниц: 123 c. : ил

СОДЕРЖАНИЕ
стр.
ВВЕДЕНИЕ.

ГЛАВА I. ОБОСНОВАНИЕ ПОДХОДА К ПОСТРОЕНИЮ

СИСТЕМЫ КОНСТРУИРОВАНИЯ. Ю

1.1. Определение требований, принюемых в качестве критериев ценности сздств

системы конструирования Ю

1.2. Анализ метода пошагового уточения

и структурного программированн

1.3. Определение концепции построеия системы конструирования

1.3.1. Выбор теоретической морли системы поддержки метода шагового уточнения

1.3.2. Определение принципов оэдания системы конструированш
1.4. Сравнительный анализ существущих систем поддержки метода пошагаого уточнения .
ГЛАВА 2. ТЕХНОЛОГИЧЕСКОЕ РАСШИРЕНИЕ ЯЗЫКА ГО1
2.1. Язык конструирования программы методом пошагового уточнения
2.1.1. Структура реализации понятия
2.1.2. Синтаксис и семантика инструкции .
2.2. Язык аннотирования реализаций понятий
2.2.1. Требования к языку аннотирования.
2.2.2. Тиш конструкций языка аннотирования
2.2.3. Синтаксис языка аннотирования .
2.3. Инструментальное средство поддержки .
2.3.1. Входная информация
2.3.2. Правила получения терминального
модуля.
2.3.3. Выходная информация .
ГЛАВА 3. ВАРИАНТ РЕАЛИЗАЦИИ СИСТЕМЫ КОНСТРУИРОВАНИЯ
3.1. Функциональные возможности СМО Расширенный ШГ
3.2. Практическое применение СМО Расширенный
ЗАКЛШЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


Наблюдается резкое расширение работ по технологии програмшрования и привлечение к ним больших трудовых ресурсов. В целевой комплексной программе работ FKHT на г. Важным направлением в технологии программирования является разработка инструментальных средств, поддерживающих тот или иной метод разработки. Одним из значительных методов разработки ПО является метод пошагового уточнения (МПУ), предложенный Н. Виртом [П8, 0] . В основе МПУ лежит пошаговое раскрытие деталей разрабатываемой программы от исходной постановки задачи, сформулированной на самом высоком уровне абстракции, к объектам, выражаемым в терминах используемого языка программирования. Уровень абстракции постепенно понижается до тех пор, пока не совпадет с уровнем используемого языка программирования, после чего разработка программы заканчивается. Процесс разработки программы сводится к пошаговому введению и реализации понятий. Современные языки программирования имеют довольно слабые возможности для разработки программ МПУ, Существующие инстумен-тальные средства не предоставляют адекватных средств поддержки МПУ, На практике в качестве средства, поддерживающего МПУ, используют лишь полуформальную нотацию, называемую псевдокодом или языком проектирования программ ? Следовательно, создание программной поддержки МПУ, доступной широкому кругу пользователей, является важной и актуальной задачей. МПУ;. В первой главе проводится разработка и обоснование подхода к построению системы конструирования, поддерживающей МПУ. Показана недостаточность практически применяемых средств поддержки МПУ. В качестве теоретической модели системы поддержки выбрано гиперпрограммирование* Сформулированы и обоснованы принципы, на которых основывается разработка системы конструирования. Проведен сравнительный анализ существующих * систем поддержки МПУ, который показывает новизну применяемого подхода. Система конструирования построена во второй главе. Определены синтаксис и семантика входного языка системы конструирования. Построена функциональная схема системы. Разработаны организация памяти системы и структура листинга, выдаваемого системой. Определены правила сборки исходных реализаций понятий. В третьей главе описывается реализованный вариант системы конструирования. Рассматриваются функциональные возможности СМО "Расширенный 1Ш", описывается опыт промышленной эксплуатации 0 "Расширенный ПЛ". В заключении диссертационной работы содержатся основные теоретические и практические результаты, полученные автором в результате проведенного научного исследования. В списке литературы представлены основные работы, изученные автором в процессе исследования и при написании диссертационной работы. ГЛАВА I. Данная глава посвящена исследованию МПУ и обоснованию подхода к построению системы конструирования, поддерживающей МПУ. Разработка системы конструирования должна быть достаточно обоснованной с точки зрения ее практической пользы. Для этого необходимы определенные критерии ценности. Они определяются в параграфе 1. В параграфе 1. МПУ и структурного программирования, исследуются вопросы их практического применения. Выбор теоретической модели системы поддержки МПУ, определение принципов создания системы конструирования проводится в параграфе 1. Эти принципы определяют суть подхода, примененного в данной работе к построению системы конструирования. Сравнительный анализ существующих систем поддержки МПУ с точки зрения этих принципов проводится в параграфе 1. Увеличение затрат на сопрововдение ПО, медленный рост производительности труда программистов, повышение затрат на разработку ПО, низкая надежность программных средств привели к появлению новой дисциплины - технологии программирования. Предметом изучения этой дисциплины являются программа и программирование. Технология программирования призвана сократить стоимость и время разработки ПО, обеспечить его надежность и сопровождаемость. Под надежностью понимается свойство ПО давать разумные результаты во всех возможных окружениях, и в частности в анормальных условиях 1^] .