Formal Analysis of Component-Based Systems in View of Comp. 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 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.