Search results
- 1.0349578 - ÚI 2011 RIV DE eng C - Conference Paper (international conference)
Hošek, P. - Pop, T. - Bureš, Tomáš - Hnětynka, P. - Malohlava, M.
Comparison of Component Frameworks for Real-Time Embedded Systems.
Component-Based Software Engineering. Berlin: Springer, 2010 - (Grunske, L.; Reussner, R.; Plášil, F.), s. 21-36. Lecture Notes in Computer Science, 6092. ISBN 978-3-642-13237-7. ISSN 0302-9743.
[CBSE 2010. Symposium on Component-Based Software Engineering /13./. Prague (CZ), 23.06.2010-25.06.2010]
Grant - others:GA ČR(CZ) GA201/08/0266
Institutional research plan: CEZ:AV0Z10300504
Keywords : survey * software components * component frameworks * real-time and embedded systems
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0189776File Download Size Commentary Version Access a0349578.pdf 0 189.1 KB Publisher’s postprint require - 2.0334290 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
Poch, T. - Plášil, František
Extracting Behavior Specification of Components in Legacy Applications.
[Extrakce specifikace chování komponent v nasazených aplikacích.]
Component-Based Software Engineering. Berlin: Springer, 2009 - (Lewis, G.; Poernomo, I.; Hofmeister, C.), s. 87-103. Lecture Notes in Computer Science, 5582. ISBN 978-3-642-02413-9.
[CBSE 2009. International Symposium on Component Based Software Engineering /12./. East Stroudsburg (US), 24.06.2009-26.06.2009]
Grant - others:GA ČR(CZ) GA201/08/0266
Institutional research plan: CEZ:AV0Z10300504
Keywords : reverse engineering * component behavior specification
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0179068 - 3.0334276 - ÚI 2010 RIV US eng C - Conference Paper (international conference)
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 - others:GA ČR(CZ) GA201/08/0266; GA MŠk(CZ) 7E08004
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * behavior specification * model-checking
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0179058 - 4.0317133 - ÚI 2009 RIV DE eng C - Conference Paper (international conference)
Plšek, A. - Adámek, Jiří
Carmen: Software Component Model Checker.
[Carmen: Model checker softwarových komponent.]
Quality of Software Architectures. Models and Architectures. Berlin: Springer, 2008 - (Becker, S.; Plášil, F.; Reussner, R.), s. 71-85. Lecture Notes in Computer Science, 5281. ISBN 978-3-540-87878-0.
[QoSA 2008. International Conference on the Quality of Software Architectures /4./. Karlsruhe (DE), 14.10.2008-17.10.2008]
Grant - others:GA ČR(CZ) GA201/08/0266; ANR/RNTL(FR) Flex-eWare; Belgian Science Policy(BE) Interuniversity Attraction Poles Programme
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * behavior specification * model-checking
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0166859