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

Varování

Publikace nespadá pod Pedagogickou 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:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Realistická aplikace formálních metod v komponentových systémech Vysoce paralelní a distribuované výpočetní systémy