ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Рассмотрена технология автоматизированного конструирования программных систем методом порождения по специфицированному описанию задачной специализации и условий применения. Введены формальные представления знаний о задачах для поэтапного описания порождаемой системы. Приведены основные характеристики генератора ГЕНПАК и ГЕНПАК-пакетов.