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 VaVNá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ěrNá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 VaVNá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: 4. 2. 2023 04:27