Рассматривается проблема ручной разработки формальных спецификаций создаваемого приложения, вносящая существенную часть трудоемкости в производственный цикл, совместно с проблемой контроля семантики приложения в соответствии с семантикой заказанной заказчиком. Обсуждаются средства автоматизации разработки формальных спецификаций моделей требований и моделей архитектур и технология проектирования спецификаций и моделей в нотации, доступной для контроля заказчика.
модели требований, архитектурные модели, контроль заказчика