Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний : метод, инструментальное средство, верификация

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. ТЕХНОЛОГИИ ПРОЕКТИРОВАНИЯ И РАЗРАБОТКИ ОБЪЕКТНООРИЕНТИРОВАННЫХ ПРОГРАММ
1.1. Реактивные системы
1.2. Классификация автоматных подходов.
1.3. Гибридные автоматы
1.4. Автоматное программирование встраиваемых систем.
1.5. Использование автоматного подхода при реализации прикладных программ.
1.6. Программные продукты для графического моделирования конечных автоматов
1.6.1. ii i i
1.6.2. Среда разработки Флора.
1.6.3. X .
1.6.4.1 vi.
1.6.5. i 2.
1.6.6. i.
1.7. Исполняемый .
1.8. Iтехнология.
Выводы по главе 1
ГЛАВА 2. РАЗРАБОТКА МЕТОДА ПОСТРОЕНИЯ ОБЪЕКТНООРИЕНТИРОВАННЫХ ПРОГРАММ С ИСПОЛЬЗОВАНИЕМ АВТОМАТНОГО ПОДХОДА
2.1. Исполняемый графический язык автоматного пртраммирования и метод построения программ на его основе
2.2. Синтаксис графического языка
2.3. Операционная семантика графического языка.
Вывода по главе 2
ГЛАВА 3. ВЕРИФИКАЦИЯ МОДЕЛЕЙ АВТОМАТНЫХ ПРОГРАММ
3.1. Дедуктивный анализ автоматных моделей.
3.2. Верификация на модели.
3.2.1. Метод верификации
3.2.2. Сравнение метода эмуляции с методом верификации автоматных программ, известным из литературы
3.2.3. Применение верификатора
Выводы по главе 3
ГЛАВА 4. ИНСТРУМЕНТ А ЛЬНОЕ СРЕДСТВО ДЛЯ ПОДДЕРЖКИ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ 1
4.1. Интерпретация.
4.2. Компиляция
4.3. Реализация редактора диаграмм на платформе i
4.3.1. Завершение ввода и исправление ошибок ввода
4.3.2. Форматирование.
4.3.3. Исполнение модели
4.4. Отладка модели
4.4.1. Статическая модель отладчика.
4.4.2. Динамическая модель отладчика
Выводы по главе 4
ГЛАВА 5. ВНЕДРЕНИЕ ПРЕДЛОЖЕННЫХ РЕЗУЛЬТАТОВ РАБОТЫ В
ПРАКТИКУ ПРОЕКТИРОВАНИЯ
5.1. Создание системы автоматического завершения ввода.
5.1.1. Описание предлагаемой технологии.
5.1.2. Построение диаграммы переходов синтаксического анализатора
5.1.3. Удаление правой рекурсии
5.1.4. Удаление немотивированных переходов.
5.1.5. Подстановка диаграмм переходов друг в друга.
5.1.6. Удаление срединной рекурсии.
5.1.7. Модель разрабатываемой системы
5.1.8. Восстановление после ошибок.
5.1.9. Получение множества строк для автоматического завершения ввода
5.1 Пример работы системы
5.2. Внедрение в учебном процессе.
5.3. Создание мобильного приложения.
5.3.1. Постановка задачи.
5.3.2. Статическая модель системы
5.3.3. Динамическая модель системы.
5.3.4. Создание кода.
5.4. Текстовый язык для автоматного программирования
Выводы но главе 5.
ЗАКЛЮЧЕНИЕ
ИСТОЧНИКИ.
ВВЕДЕНИЕ
Актуальность