Component-Interaction Automata for Specification and Verification of Component Interactions

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 specifikaci a verifikaci interakcí mezi komponentami
Autoři

VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

Rok publikování 2005
Druh Článek ve sborníku
Konference IFM 2005 Doctoral Symposium on Integrated Formal Methods
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova Component-Interaction automata; specification; verification; component-based systems
Popis Článek představuje jazyk Component-Interaction automatů, který je navržen pro specifikaci interakcí mezi komponentami v hierarchických komponentových softwarových systémech. Tento jazyk si klade za cíl poskytnout nástroj pro modelování interakcí mezi komponentami, který bude transparentní a srozumitelný díky zohlednění specifik komponentových systémů.
Související projekty:

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