ОГЛАВЛЕНИЕ
ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. МЕТОДЫ РЕАЛИЗАЦИИ ОБЪЕКТНО
ОРИЕНТИРОВАНЫХ И АВТОМАТНЫХ ПРОГРАММ
1.1. Структура объектноориентированных программ
1.2. Методы повышения качества объектноориентированных программ
1.3. Автоматное объектноориентированное программирование
1.4. Методы повышения качества автоматных объектно
ориентированных программ
Выводы по главе 1.
ГЛАВА 2. ФОРМАЛИЗАЦИЯ ТРЕБОВАНИЙ К АВТОМАТНЫМ ОБЪЕКТНООРИЕНТИРОВАННЫМ ПРОГРАММАМ.
2.1. Формализация требований к автоматным программам
2.2. Интерфейсы автоматных объектов.
2.3. Автоматное программирование по контрактам
2.4. Способы проверки автоматных контрактов.
2.5. Динамический метод проверки спецификаций автоматных
программ
2.6. Формализация требований к автоматным программам
Выводы по главе 2.
ГЛАВА 3. ВНЕСЕНИЕ ИЗМЕНЕНИЙ В АВТОМАТНЫЕ ПРОГРАММЫ
3.1. Внесение изменений в автоматные программы
3.2. Классификация изменений автоматных программ
3.3. Описание базовых изменений автоматов.
3.3.1. Добавление состояния.
3.3.2. Удаление состояния.
3.3.3. Установка начального состояния.
3.3.4. Снятие начального состояния
3.3.5. Добавление конечного состояния.
3.3.6. Удаление конечного состояния.
3.3.7. Добавление перехода
3.3.8. Изменение события на переходе
3.3.9. Изменение условия на переходе
3.3 Удаление перехода.
3.3 Перемещение перехода
3.4. Рефакторинг автоматных программ.
3.4.1. Группировка состояний
3.4.2. Удаление группы состояний
3.4.3. Слияние состояний
3.4.4. Выделение автомата.
3.4.5. Встраивание вызываемого автомата.
3.4.6. Переименование состояния.
3.4.7. Перемещение воздействия из состояния в переходы
3.4.8. Перемещение воздействия из переходов в состояние.
3.5. Метод внесения изменений в автоматные программы.
3.6. Пример использования метода.
Выводы по главе 3.
ГЛАВА 4. ИНТЕГРАЦИЯ СПЕЦИФИКАЦИИ И КОДА АВТОМАТНЫХ ОБЪЕКТНООРИЕНТИРОВАННЫХ ПРОГРАММ
4.1. Автоматное программирование в динамических языках.
4.1.1. Определение общих свойств автомата
4.1.2. Описание графов переходов
4.1.3. Пример декларации автомата.
4.1.4. Использование библиотеки
4.1.5. Реализация библиотеки.
4.1.6. Отладка программ.
4.1.7. Взаимодействие с окружением
4.1.8. Формализация спецификаций автоматов
4.2. Интеграция спецификации и кода в мультиязыковых средах
4.2.1. Описание языков в системе Вгатя МРБ.
4.2.2. Автоматное программирование в среде Вгшт МРЗ
4.2.3. Язык спецификации автоматов.
4.2.4. Реализация языка спецификации автоматов.
4.2.5. Пример использования языка спецификации автоматов .
Выводы по главе 4.
ГЛАВА 5. ВНЕДРЕНИЕ РЕЗУЛЬТАТОВ РАБОТЫ В ПРАКТИКУ РАЗРАБОТКИ ОБЪЕКТНООРИЕНТИРОВАННЫХ ПРОГРАММ
5.1. Область внедрения
5.2. Использование системы МРБ в программе УоиТгаск
5.3. Автомат управления списком дефектов
5.4. Автомат управления выпадающей подсказкой Згезя
Выводы по главе 5.
ЗАКЛЮЧЕНИЕ.
ИСТОЧНИКИ
ВВЕДЕНИЕ
Актуальность
- Київ+380960830922