Введение
1. Автоматический синтез программ и мобильность программного обеспечения 6
1.1. Прикладное программное обеспечение 6
1.2. Синтезаторы на вычислительных моделях 8
1.3. Обеспечение мобильности систем программирования 14
1.4. Постановка задачи 22
2. Концепции и возможности системы МИС 23
2.1. Функциональные возможности системы 23
2.2. Обзор входного языка 26
2.3. Соотношение систем ПРИЗ и МИС 34
3. Описание реализации 37
3.1. Представление вычислительной модели 40
3.2. Абстрактная машина для языка Утопист 48
3.3. Другие информационные структуры 55
3.4. Архитектура системы 59
4. Обеспечение мобильности системы МИС 68
4.1. Реализация системы МИС 68
4.2. Модель реализации абстрактной машины 72
4.3. Опыт переноса системы МИС 76
Заключение 81
Литература 82
Приложения 86
