Котляров В.П., Дробинцев П.Д. "АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ПРОДУКТА С ПОМОЩЬЮ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ"

АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ПРОДУКТА С ПОМОЩЬЮ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ

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

V. P. Kotlyarov, P. D. Drobintsev
SOFTWARE DESIGN AUTOMATION BASED ON FORMAL SPECIFICATION
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).
Keywords: requirements models, architectural models, semantics of the requirements, customer's control (monitoring,
inspection).

Страницы 29-38

Прикрепленный файлРазмер
04.pdf825.83 кб