| 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. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| 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 | |
|---|---|
| Original 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 |
| Changed by | Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:25. |
| Abstract |
|---|
| 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. |
| Abstract (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 | |