|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Специфицирование задач и задачных сетей в системе порождениястатья Исследовательская статья
- Авторы: Ильин В.Д., Куров Б.Н.
- Сборник: Системы и средства информатики
- Том: 2
- Год издания: 1992
- Место издания: Наука М
- Первая страница: 44
- Последняя страница: 59
- Аннотация: Рассмотрено специфицирование задачных конструктивных объектов в системе порождения программ (определённых в монографии Ильина В.Д. "Система порождения программ". М.: Наука, 1989): атомарного p-объекта (простой задачи), конструкции из p-объектов (составной задачи) и задачных U-, C-, N-сетей (моделей задачной области). Специфицирование представлено с разных точек зрения, соответствующих процессам p-конкретизации, p-специализации, p-замены и p-конструирования (как составляющим процесса порождения).
- Добавил в систему: Ильин Владимир Дмитриевич