Considered is the problem of manual development of specifications for the designed application, which introduces a significant efforts to the software development process together with the problem of application semantics control, required by the customer. Discussed are the instruments of development automation of requirements and architectural models' formal specifications as well as the technology of specifications and models design in the notation, appropriate for the customer's control (monitoring, inspection).
Рассматривается проблема ручной разработки формальных спецификаций создаваемого приложения, вносящая существенную часть трудоемкости в производственный цикл, совместно с проблемой контроля семантики приложения в соответствии с семантикой заказанной заказчиком. Обсуждаются средства автоматизации разработки формальных спецификаций моделей требований и моделей архитектур и технология проектирования спецификаций и моделей в нотации, доступной для контроля заказчика.