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.0341252 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bureš, Tomáš - Děcký, M. - Hnětynka, P. - Kofroň, Jan - Parízek, P. - Plášil, František - Poch, T. - Šerý, O. - Tůma, P.
CoCoME in SOFA.
The Common Component Modeling Example. Berlin: Springer, 2008 - (Rausch, A.; Reussner, R.; Mirandola, R.; Plášil, F.), s. 388-417. 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 ostatní: GA ČR(CZ) GA201/06/0770
Program: GA
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/0184293 - 4.0334299 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Kofroň, Jan - Parízek, P. - Šerý, O.
On Teaching Formal Methods: Behavior Models and Code Analysis.
[Výuka formálních metod: Modely chování a analýza kódu.]
Teaching Formal Methods. Berlin: Springer, 2009 - (Gibbons, J.; Oliveira, J.), s. 144-157. Lecture Notes in Computer Science, 5846. ISBN 978-3-642-04911-8.
[TFM 2009. International Conference Teaching Formal Methods /2./. Eindhoven (NL), 02.11.2009-06.11.2009]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal methods * code analysis * teaching
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179074 - 5.0334276 - ÚI 2010 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Kofroň, Jan - Poch, T. - Šerý, O.
TBP: Code-Oriented Component Behavior Specification.
[TBP: Na kód orientovaný formalismus pro specifikaci chování komponent.]
Proceedings of 32th IEEE/NASA Software Engineering Workshop. Los Alamitos: IEEE Computer Society, 2009, s. 75-83. ISBN 978-0-7695-3617-0.
[SEW 2008. Annual IEEE/NASA Software Engineering Workshop /32./. Kassandra (GR), 15.10.2008-16.10.2008]
Grant ostatní: GA ČR(CZ) GA201/08/0266; GA MŠk(CZ) 7E08004
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior specification * model-checking
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179058 - 6.0334272 - ÚI 2010 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Kofroň, Jan - Poch, T. - Šerý, O.
Making Components Fit: SPINing.
[Komponenty ve formě: SPINing.]
Proceedings of 32th IEEE/NASA Software Engineering Workshop. Los Alamitos: IEEE Computer Society, 2009, s. 65-74. ISBN 978-0-7695-3617-0.
[SEW 2008. Annual IEEE/NASA Software Engineering Workshop /32./. Kassandra (GR), 15.10.2008-16.10.2008]
Grant CEP: GA ČR(CZ) GD201/05/H014
Grant ostatní: GA ČR(CZ) GA201/06/0770
Program: GA
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior specification * model-checking
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179054 - 7.0164059 - UBO-W 20000089 RIV SK eng C - Konferenční příspěvek (zahraniční konf.)
Žákovská, A. - Šerý, O. - Pejchalová, K. - Horvath, R. - Janouškovcová, E. - Halouzka, Jiří
Monitoring of presence of Borrelia burgdorferi sensu lato in Ixodes ricinus ticks in park Pisárky (Brno) in 1996-1998: dark-field microscopy and PCR method.
Proceedings of the 3rd International Conference "Ticks and tick-borne pathogens: Into the 21st Century". Bratislava: Institute of Zoology SAS, 2000 - (Kazimírová, M.; Labuda, M.; Nuttall, P.), s. 97-103
[Ticks and tick-borne pathogens: into the 21st century /3./. High Tatra Mts. (SK), 08.99.1919-09.99.1919]
Výzkumný záměr: CEZ:MSM 143100010
Kód oboru RIV: FN - Epidemiologie, infek. nemoci a klin. imunologie
Trvalý link: http://hdl.handle.net/11104/0061282 - 8.0090207 - ÚI 2008 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Šerý, O. - Plášil, František
Slicing of Component Behavior Specification with Respect to their Composition.
[Slicing specifikace chování komponent vzhledem k jejich kompozici.]
Component-based Software Engineering. Berlin: Springer, 2007 - (Schmidt, H.; Crnkovic, I.; Heineman, G.; Stafford, J.), s. 189-202. Lecture Notes in Computer Science, 4608. ISBN 978-3-540-73550-2.
[CBSE 2007. International Symposium /10./. Medford (US), 09.07.2007-11.07.2007]
Grant CEP: GA ČR GA201/06/0770
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: component-based software engineering * behaviour specification * software architecture reuse
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0151180