Výsledky vyhledávání
- 1.0369565 - ÚI 2012 US eng C - Konferenční příspěvek (zahraniční konf.)
Bureš, Tomáš - Ježek, P. - Malohlava, M. - Poch, T. - Šerý, O.
Strengthening Component Architectures by Modeling Fine-grained Entities.
EUROMICRO 2011. Los Alamitos: IEEE Computer Society, 2011 - (Biffl, S.; Koivuluoma, M.; Abrahamsson, P.; Oivo, M.), s. 124-128. ISBN 978-1-4577-1027-8.
[SEAA 2011. EUROMICRO Conference on Software Engineering and Advanced Applications /37./. Oulu (FI), 30.08.2011-02.09.2011]
Grant ostatní: GA AV ČR(CZ) GAP202/11/0312
Klíčová slova: component model * architecture evolution * dynamic reconfiguration
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0203596Název souboru Staženo Velikost Komentář Verze Přístup a0369565.pdf 0 540.8 KB Vydavatelský postprint vyžádat - 2.0341253 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bulej, Lubomír - Bureš, Tomáš - Coupaye, T. - Děcký, M. - Ježek, P. - Parízek, P. - Plášil, František - Poch, T. - Rivierre, N. - Šerý, O. - Tůma, P.
CoCoME in Fractal.
The Common Component Modeling Example. Berlin: Springer, 2008 - (Rausch, A.; Reussner, R.; Mirandola, R.; Plášil, F.), s. 357-387. Lecture Notes in Computer Science, 5153. ISBN 978-3-540-85288-9.
[Dagstuhl Research Seminar for Component Modelling Example. Dagstuhl (DE), 01.08.2007-03.08.2007]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * formal verification
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0184294 - 3.0334292 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ježek, P. - Bureš, Tomáš - Hnětynka, P.
Supporting Real-life Applications in Hierarchical Component Systems.
[Zlepšení podpory pro vývoj reálných aplikací v hierarchických komponentových systémech.]
Software Engineering Research, Management and Applications. Berlin: Springer, 2009 - (Lee, R.; Ishii, N.), s. 107-118. Studies in Computational Intelligence, 253. ISBN 978-3-642-05440-2.
[SERA 2009. International Conference on Software Engineering Research, Management and Applications /7./. Haikou (CN), 02.12.2009-04.12.2009]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: component systems * architecture patterns * software development
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179069 - 4.0031765 - UIVT-O 336096 RIV MO eng C - Konferenční příspěvek (zahraniční konf.)
Ježek, P. - Kofroň, Jan - Plášil, František
Model Checking of Component Behavior Specification: A Real Life Experience.
[Automatické ověřování specifikace chování komponenty: praktické poznatky.]
Formal Aspects of Component Software. Macao: UNU-IIST, 2005 - (Barbosa, L.; Liu, Z.), s. 263-278
[FACS05. International Workshop on Formal Aspects of Component Software /2./. Macao (MO), 24.10.2005-25.10.2005]
Grant CEP: GA AV ČR(CZ) 1ET400300504; GA ČR(CZ) GA102/03/0672
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior protocols * error traces
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0132418