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

ZIMMEROVÁ, Barbora. Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006. Berlin, Germany: GITO-Verlag, 2006, s. 34-36. ISBN 3-936771-87-1.

Základní údaje

Originální název

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 (203 Česká republika, garant, domácí)

Vydání

Berlin, Germany, Proceedings of the International Research Training Groups Workshop 2006, od s. 34-36, 3 s. 2006

Nakladatel

GITO-Verlag

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/06:00015552

Organizační jednotka

Fakulta informatiky

ISBN

3-936771-87-1

Klíčová slova anglicky

component-based systems; formal analysis; component interaction

Štítky

component interaction, Component-based systems, formal analysis

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

The work focuses on three analytical issues in current component-based software engineering. These are the reconfiguration correctness, assembly strategies, and component placement in distributed environment.

Česky

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í.

---

Návaznosti

GD102/05/H050, projekt VaV	Název: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Investor: Grantová agentura ČR, Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
MSM0021622419, záměr	Název: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1ET400300504, projekt VaV	Název: Realistická aplikace formálních metod v komponentových systémech Investor: Akademie věd ČR, Realistická aplikace formálních metod v komponentových systémech