Кореньков Юрий Дмитриевич Методы и средства анализа исходных текстов программ и программных систем на основе семантических моделей

Краткое описание

Кореньков Юрий Дмитриевич Методы и средства анализа исходных текстов программ и программных систем на основе семантических моделей
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Кореньков Юрий Дмитриевич
РЕФЕРАТ

8УШР8У8

ВВЕДЕНИЕ

ГЛАВА 1 Задачи и проблемы реализации анализа исходных текстов программ

1.1 Задачи семантического анализа и семантические модели программ

1.2 Исследование существующих подходов к семантическому анализу

текстов программ

1.3 Исследование особенностей реализации анализаторов в составе

интегрированных сред разработки

ГЛАВА 2 Метод предметно-ориентированного анализа исходных текстов программ

2.1 Основные термины, понятия и определения

2.2 Формализация метода анализа текстов программ

2.3 Область применения и требования к реализации

ГЛАВА 3 Язык описания семантических моделей программ

3.1 Описание синтаксических моделей программ

3.2 Описание семантических моделей программ

3.3 Описание семантических трансляций

ГЛАВА 4 Алгоритм итеративного преобразования семантических моделей программ

4.1 Разработка алгоритма и структур данных

4.2 Интеграция решения в среды разработки

4.3 Апробация разработанного решения

Заключение

Список сокращений и условных обозначений

Список литературы

Приложение А - расширенная грамматика спецификаций

синтаксических моделей

Приложение Б - грамматика спецификаций семантических моделей

Приложение В - акты о внедрении

Приложение Г - тексты публикаций

РЕФЕРАТ