Formal Analysis of Component-Based Systems in View of Comp. Interactions

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Formální analýza komponentových systému s ohledem na interakci mezi komponentami
Autoři

ZIMMEROVÁ Barbora

Rok publikování 2006
Druh Článek ve sborníku
Konference Proceedings of the International Research Training Groups Workshop 2006
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova component-based systems; formal analysis; component interaction
Popis Práce se zaměřuje na diskuzi tří problémů aktuálně řešených v komponentovém softwarovém inženýrství. Jsou jimi rekonfigurační korektnost, strategie pro skládání komponent, a rozložení komponent na výpočetní uzly v distribuovaném prostředí.
Související projekty:

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

Další info