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