Component-Interaction Automata for Specification and Verification of Component Interactions

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou 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.