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

Proceedings paper

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

is not subject to a state or trade secret

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