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

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í

Označené pro přenos do RIV

Ano

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