Автоматизация разработки трансляторов мультисинтаксических языков программирования мультиверсионных программных систем

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
1. ПРОБЛЕМЫ СОЗДАНИЯ НАДЕЖНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
1.1 Проблемы, возникающие при проектировании надежных программных систем
1.2 Обнаружение ошибок.
1.3 Проблемы проектирования программных систем.
1.4 Методология мультиверсионного программирования как средство повышения надежности программного обеспечения.
1.5 Критические замечания по современному состоянию методологии мультиверсионного программирования
1.6 Выводы по первой главе.
2. СОЗДАНИЕ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ПРИМЕНЕНИЕМ МУЛЬТИСИНТАКСИЧЕСКИХ ЯЗЫКОВ И ТЕХНОЛОГИЙ
2.1 Неформальное определение мультисинтаксического языка.
2.2 Обзор современных мультисинтаксических средств.
2.2.1. Использование ассемблерных вставок при программировании на языках высокого уровня.
2.2.2. Скриптовые языки для создания динамических страниц.
2.2.3. Встраивание языков запросов к базам данных в языки программирования.
2.2.4. Концепция i ii
2.2.5. Синтаксис включений в программы на одном языке кода на другом языке
2.3 Формальное описание мультисинтаксического языка
2.4 Выводы по второй главе.
3. МОДЕЛИРОВАНИЕ РАСПОЗНАВАТЕЛЕЙ
МУЛЬТИСИНТАКСИЧЕСКИХ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ.
3.1 Мультиавтоматы с магазинной памятью как средство распознавания мультисинтаксических языков.
3.2 Формирование таблиц синтаксического анализа мультисинтаксических языков программирования.
3.3 Лексический анализ мультисинтаксических языков программирования
3.4 Семантический анализ мультисинтаксических языков программирования и этап синтеза компилятора МСЯ.
3.5 Выводы по третьей главе
4. АВТОМАТИЗАЦИЯ РАЗРАБОТКИ ТРАНСЛЯТОРОВ МУЛЬТИСИНТАКСИЧЕСКИХ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ МУЛЬТИВЕРСИОННЫХ ПРОГРАММНЫХ СИСТЕМ
4.1 Система построения трансляторов мультисинтаксических языков программирования мультиверсионных систем
4.2 Входная спецификация системы
4.3 Применение трансляторов МСЯ при разработке мультиверсионного ПО .
4.3.1. Проект I компилятор языка С, обеспечивающий вставки ассемблерного кода.
4.3.2. Проект компилятор языка С, обеспечивающий включение кода на языках запросов к СУБД.
4.3.3. Использование трансляторов и I для разработки мультиверсионного ПО.
4.4 Выводы по четвертой главе
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ