Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map

Конференция «Технологии Microsoft в теории и практике программирования»
Авторы:
Никифоров Игорь Валерьевич Петров Алексей Викторович Юсупов Юрий Вадимович
Аннотация:

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