Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям

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

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