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. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| 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 (203 Česká republika, garant, domácí). |
| 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 | |
|---|---|
| Originální 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í |
| 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 |
| Změnil | Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:25. |
| Anotace |
|---|
| 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. |
| Anotace č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 | |
VytisknoutZobrazeno: 14. 10. 2024 02:10