Buchumschlag

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

Представлена новая система анализа и верификации Use Case Maps (UCM) спецификаций с использованием раскрашенных сетей Петри и системы верификации SPIN. Стандартизованная нотация UCM удобное графическое средство формального описания функциональных требований. Описаны алгоритмы трансляции UCM-специфик...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Кибернетика и системный анализ
Datum:2015
Hauptverfasser: Визовитин, Н.В., Непомнящий, В.А., Стененко, А.А.
Format: Artikel
Sprache:Russisch
Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Schlagworte:
Кибернетика
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/124777
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри / Н.В. Визовитин, В.А. Непомнящий, А.А. Стененко // Кибернетика и системный анализ. — 2015. — Т. 51, № 2. — С. 62-74. — Бібліогр.: 17 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Ähnliche Einträge