Разработка методов и средств формирования спецификаций информационно-программных компонент САПР машиностроения

СОДЕРЖАНИЕ
Введение
Глава 1 Сравнительный анализ существующих методов и средств формирования проектных решений при создании автоматизированных систем
1.1 Анализ существующих методов проектирования
1.1.1 Традиционные методы проектирования
программного обеспечения
1.1.2 Объектноориентированный подход к
проектированию программного обеспечения
1.2 Инструментальные системы разработки
программного обеспечения
Глава 2 Семантические аспекты проектирования
программного обеспечения применительно к проектированию спецификаций САПР
2.1 Место задачи в общей задаче проектирования
САПР. Структура предметной и алгоритмической
2.
2.3.
подход к
алгоритмической
спецификаций САПР
Объектноориентированный представлению преметной и спецификаций
Разработка формальной модели для
алгоритмической и предметной спецификации САПР
Основные понятия теории формальных моделей Совокупность формальных моделей для компонентов программной системы на различных уровнях разработки
Глава 3 Методика проектирования предметной и
алгоритмической спецификации САПР
3.1 Описание предметной задачи проектирования
технологических маршрутов как базы для
иллюстрации предлагаемой методики
3.2 Описание методики проектирования спецификаций
информационнопрограммных компонент САПР
Глава 4 Реализация подсистемы поддержки
проектирования и ведения спецификаций
4.1. Метаописание подсистемы поддержки
проектирования и ведения спецификаций
4.2. Пример применения предлагаемых методов для
разработки спецификации на подсистему
обработки заказов
4.2.1 Предметная спецификация
4.2.2 Алгоритмическая спецификация
4.2.3 Формальная модель для подсистемы обработки
заказов
Заключение
Литература