VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ a Barbora ZIMMEROVÁ. Effective verification of systems with a dynamic number of components. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press. s. 3-13. ISBN 978-1-59593-721-6. 2007.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Effective verification of systems with a dynamic number of components
Název česky Efektivní verifikace systémů s dynamickým počtem komponent
Autoři VAŘEKOVÁ, Pavlína (203 Česká republika, domácí), Pavel MORAVEC (203 Česká republika, domácí), Ivana ČERNÁ (203 Česká republika, garant, domácí) a Barbora ZIMMEROVÁ (203 Česká republika, domácí).
Vydání New York, NY, USA, Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, s. 3-13, 2007.
Nakladatel ACM Press
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Spojené státy
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/07:00019481
Organizační jednotka Fakulta informatiky
ISBN 978-1-59593-721-6
Klíčová slova anglicky Component-based systems; dynamic number of components; finite-state systems; formal verification
Štítky Component-based systems, dynamic number of components, finite-state systems, formal verification
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:30.
Anotace
In the paper, we present a novel approach to verification of dynamic component-based systems, the systems that can have a changing number of components over their life-time.
Anotace česky
V článku prezentujeme nový přístup k verifikaci dynamických komponentových systémů; systémů, které se mohou skládat z měnícího se počtu komponent v průběhu svého života.
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
1ET408050503, projekt VaVNázev: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky
VytisknoutZobrazeno: 28. 3. 2024 17:08