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, p. 34-36. ISBN 3-936771-87-1.

Basic information

Original name

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

Name in Czech

Formální analýza komponentových systému s ohledem na interakci mezi komponentami

Authors

ZIMMEROVÁ, Barbora (203 Czech Republic, guarantor, belonging to the institution)

Edition

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

Publisher

GITO-Verlag

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/06:00015552

Organization unit

Faculty of Informatics

ISBN

3-936771-87-1

Keywords in English

component-based systems; formal analysis; component interaction

Tags

component interaction, Component-based systems, formal analysis

Tags

International impact, Reviewed

---

Abstract

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.

In Czech

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

---

Links

GD102/05/H050, research and development project	Name: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Investor: Czech Science Foundation, Integrated approach to education of PhD students in the area of parallel and distributed systems
MSM0021622419, plan (intention)	Name: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1ET400300504, research and development project	Name: Realistická aplikace formálních metod v komponentových systémech Investor: Academy of Sciences of the Czech Republic, Realistic application of formal methods in component systems