ОГЛАВЛЕНИЕ
Введение
Глава 1. Автоматная и языковоориентированная парадигмы программирования.
1.1. Парадигма автоматного программирования
1.2. Особенности поддержки автоматного программирования на различных программных платформах
1.3. Языковоориентированное программирование
1.4. Задачи в области автоматного языковоориентированного программирования, требующие своего решения
Выводы по главе 1
Глава 2. Текстовый язык автоматного программирования.
2.1. Текстовые языки автоматного программирования
2.2. Создание языков в среде МРБ
2.3. Язык БаеМасйпе
2.4. Структура языка БШеМасЬпе
2.5. Конкретный синтаксис языка БаеМасИпе
2.6. Система типов языка БаеМаскпе
2.7.1 енератор крда для языка яаеМаспе
2.8. Автоматическое построение диаграммы переходов
Выводы по главе 2
Глава 3. Валидация автоматных моделей
3.1. Формальная модель автомата
3.2. Полнота и непротиворечивость условий на переходах
3.3. Достижимость из начального состояния
3.4. Достижимость конечного состояния
3.5. Реализация в среде МРБ
Выводы по главе 3
Глава 4. Инструментальные средства разработки при многопоточном
автоматном программировании
4.1. Лкторное расширение языка v в среде
4.2. Обработка сообщений с задержкой
4.3. Отложенный результат
4.4. Генерация кода для языка 1
4.5. Совместное использование языков i и
Выводы по главе 4
Глава 5. Применение текстового языка для автоматного
программирования в проекте .
5.1. Автоматы с состояниями, хранимыми в базе данных
5.2. Реализация подсистемы в проекте
5.3. Совместное использование языков i и
Выводы но главе 5
Заключение
Литература
- Київ+380960830922