Визовитин, Н.В.; Непомнящий, В.А.; Стененко, А.А.
(Кибернетика и системный анализ, 2015)
Представлена новая система анализа и верификации Use Case Maps (UCM) спецификаций с использованием раскрашенных сетей Петри и системы верификации SPIN. Стандартизованная нотация UCM удобное графическое средство формального ...