Введение
Глава 1. Компьютерные системы сопровождения процесса решения задач на основе моделей 13
1.1. Анализ использования образной графики в автоматизированном проектировании 14
1.2. Основы сопровождение процессов решения задач 46
1.3. Обобщенная постановка задачи 52
1.4. Выводы 65
Глава 2. Формализация процесса решения задач 67
2.1. Подход к образно-семантическому сопровождению процессов решения проектных задач 68
2.2. Типизированный набор образно-семантических моделей и система их согласованных преобразований 77
2.3. Обобщенное представление методов понятийно-образной поддержки 83
2.4. Выводы 92
Глава 3. Методологическое обеспечение процесса решения задач на основе моделей 94
3.1. Метод итеративного согласования понятийного и образного содержания текстовых единиц с использованием их преобразования в прологоподобную форму 96
3.2. Метод понятийно-образной поддержки процесса пошаговой детализации в прецедентно-ориентированном решении проектных задач 105
3.3. Примеры решения проектной задачи с помощью разработанных методов и средств 124
3.4. Выводы 152
Глава 4. Особенности реализации специализированного графического редактора . 153
4.1. Реализация изобразительного представления 162
4.2. Реализация декларативного представления 165
4.3. Реализация концептуально-алгоритмического представления 179
4.4. Оценка степени повышения эффективности проектировщика при использовании системы поддержки процесса решения задач 185
4.5. Выводы 200
Заключение 202
Список литературы
