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

• 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
• 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