D
2006
Formal Analysis of Component-Based Systems in View of Comp. Interactions
ZIMMEROVÁ, Barbora
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
Other information
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
Keywords in English
component-based systems; formal analysis; component interaction
Tags
International impact, Reviewed
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 |
|
Displayed: 7/3/2025 03:48