СОДЕРЖАНИЕ
ВВЕДЕНИЕ
Цель работы
Методы исследования
Научная нови ны
Практическая ценность результатов
На защиту выносятся
Связанные работы
Выводы
1. МОДЕЛИ ПРОГРАММНЫХ СИСТЕМ
1.1. Введение
1.2. Способы представления моделей
1.2.1. Неформальное моделирование
1.2.2. Полуформальное моделирование
Функциональные методы картезианские методы
Систематические методы
Объектноориентированные Методы
1.2.3. Формальное моделирование
1.2.4. Выводы
1.3. Различные подходы к интеграции полуформальных и формальных
способов
1.3.1. Графическая визуализация существующих языков формальной спецификации
1.3.2. Создание новых методов
1.3.3. Преобразование полуформальной спецификации в формальную
1.3.4. Выбор подхода
1.4. Заключение
2. ПРИНЦИПЫ РАЗРАБОТКИ
2.1. Предлагаемый метод
2.2. Основные понятии теории С8Р0
2.2.1. Определение СвР
2.2.2. Определение языка
2.2.3. Определение языка Объект,
2.2.4. С8РОг
2.3. Основные понятия иМ1,
2.3.1. Определение иМЬ
2.3.2. Описание диаграмм ГМЬ
2.3.2.1. Статический аспект Диаграмма классов
2.3.2.2. Динамичный аспект диаграммы состояний и сотрудничества
3. ПЕРЕВОД ИЗ иМЬ В С8РО
3.1. Статический аспект
3.1.1. Классы
3.1.2. Отношения
3.1.3. Подробная форма схемы класса и отношения ъЪ
3.1.4. Общая схема состояния
3.1.5. Схема инициализации состояния
3.1.6. Схемы базовых операций
3.1.7. Схема класса базы данных в Объект
3.2. Динамический аспект
3.2.1. Правила перевода
3.3. Соединение статического и динамического аспектов
3.4 Перевод в Ь
3.5. Итог
4. ПРИМЕР ИСПОЛЬЗОВАНИЯ РЕЗУЛЬТАТОВ
4.1. Определения типов
4.2. Описание схем типов
4.3. Описание схем таблиц
4.4. Схема состояния
4.5. Схема инициализации состояния
4.6. Схемы операции
4.7. Схемы дополнительных операции
4.8. Схема класса базы данных в Объект
4.9. Схема класса базы данных в С8Р0
4 Создание кода 82Ь
5. РЕАЛИЗАЦИЯ
5.1 Построение диаграммы классов МЬ
5.2. Статический аспект
5.3. Динамический аспект
5.4 Перевод в БОЬ
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ
- Київ+380960830922