Содержание
- Введение 1
- Теоретические основы формализации проектирования 2
- - Моделирование процессов проектирования 2.1
- - Методологии проектирования 2.2
- - Формальные языки и нотации для описания проектируемых систем 2.3
- Инструменты формализации проектирования 3
- - Системы моделирования и симуляции 3.1
- - САПР в различных областях проектирования 3.2
- - Инструменты для управления требованиями и конфигурациями 3.3
- Практические примеры формализации процессов проектирования 4
- - Формализация проектирования программного обеспечения 4.1
- - Формализация проектирования технического устройства 4.2
- - Формализация проектирования бизнес-процесса 4.3
- Заключение 5
- Список литературы 6