Компилятор с инкрементным объектным кодом для управления разработкой программного обеспечения повышенной надежности

ОГЛАВЛЕНИЕ
Введение.
Азсгуальность темы.
Цели предпринимаемого исследования.
Структура диссертационной работы.
1. Модель программной системы .
1.1. Сложность программного обеспечения
1.1.1. Сложность предметной области.
1.1.2. Сложность модели предметной области
1.1.3. Сложность внутренних связей программы
1.1.4 Методы уменьшения сложности программного обеспечения
1.2. Надежность программного обеспечения.
1.3. Обзор существующих компиляторов.
1.3.1. Компиляторы С
1.3.2 Компиляторы других языков программирования.
2. Методология программирования
2.1. Общие принципы
2.2. Обеспечение логики работы.
2.3. Обеспечение надежности программ.
2 4. Описание методологии разработки программ
3. Инструментальная среда для разработки программного обеспечения .
3 1. Выбор языка программирования
3.2. Система программирования ПараФорт.
3.3. Структура ПараФорта.
3.4. Интегрированная среда ПараФорта
3.4.1. Встроенный редактор.
3.4.2. Переход в интерпретатор , .
3.4.3. Вход в главное меню 2
3.4.4. Установка штампа 6.
3.4.5. Определение нового слова 2
3.4.6. Поиск 7,7,7.
3.4.7. Переход к экрану ,,
3.4.8. Встроенная помощь 1
3.4.9. Установка символа перехода на следующий экран 9
3.4 Отмена исправлений.
3.4 Смена экранного файла.
3.4 Дополнительные операции по редактированию строк.
3.4 Дополнительные операции по редактированию экранов.
3.4. Работа со строковым стеком
3.4. Интерпретатор фортслов.
3.5. Список слов Г
3.5.1. Окно стека
3.6. Реализация адресного интерпретатора
3.6.1. Точка I.
3.6.2. Точка X
3.6.3. Точка .
3.6.4. Точка XI
3.6.5. Точка
3.6.6. Точка
3.7. Свойства ПараФорта.
3.7.1. Поддержка международного стандарта .
3.7.2. Поддержка файловой системы .
3.7.3. Встроенный фортассемблер.
3.7.4. Поддержка вещественной арифметики.
3.7.5. Декомпиляция слов
3.7.6. Трассировка слов
3.7.7. Расширение парадигмы Форта
3.7.8. Разработка приложений.
3.7.9. Компрессия словаря
3.7 Псевдо разрядность.
3.7 Быстрая компиляция
3.7 Векторизация слов.
3.8. Библиотеки ПараФорта.
3.8.1. Поддержка объектноориентированного программирования
3.8.2. Оконная библиотека
3.8.3. Графическая библиотека
3 .8.4 Библиотека для работы с базами данных.
4. Применение системы ПараФорт и ее дальнейшее развитие
4.1. Применение системы
4.2. Использование ПараФорта в учебном процессе.
4.3. Система программирования ФортЯгуар.
4.4. Сравнительное тестирование
5. Заключение.
6. Литература.
7. Приложения
Введение
Актуальность