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

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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