Component-Interaction Automata as a Verification-Oriented Component-Based System Specification

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
Autoři

BRIM Luboš ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

Rok publikování 2005
Druh Článek ve sborníku
Konference Proceedings of SAVCBS 2005
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://www.cs.iastate.edu/~leavens/SAVCBS/2005/SAVCBS05.pdf
Obor Informatika
Klíčová slova ADLs; Component-Interaction automata; component interaction; verification
Popis Práce popisuje nový přístup k specifikaci a verifikaci komponentových systémů, který kombinuje výhody jazyků pro popis architektury (ADL) a možnosti automatického ověřování temporálních vlastností modelů.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.