Abbott B., Bapty T., Biegl C. et al. Model-based software synthesis // IEEE Software.-1993.-May.-P. 42-52.
РусНазваниеПубликации=Синтез программного обеспечения, основанный на использовании моделей.-11 с. 
РУБРИКИ
Банки и базы знаний 
Искусствен.интеллeкт(ИИ) 
Создание прикладного ПО
Реферат-Т 
Качественное проектирование реактивных систем — систем, характеризующихся
постоянными взаимодействиями со средой и являющихся по своей природе
параллельными и недетерминированными, достигается с помощью автоматических
средств синтеза. Предлагаемое инструментальное средство Caddmas объединяет ИИ
и проектирование ПО, поддерживая методы спецификации, синтез ПО и анализ с
конкретными, присущими данному приложению знаниями. Представление содержимого
БЗ в виде формальных моделей позволяет синтезировать системы в вычислительной
среде реального времени и параллельных вычислений. Подробно рассматривается
архитектура инструментальной системы Caddmas, структура БД моделей, сеть
построения объектов, обрабатывающая сеть и интерпретаторы моделей.