Search results
- 1.0406214 - UOCHB-X 880076 CS1 eng C - Conference Paper (international conference)
Vinař, Oldřich - Pospíšilová, M. - Poch, T.
Binding of Drugs to Receptors as a Quasi Immune Process. Tu:605.
1988.
[International Congress of Biochemistry /14./. Praha (CS), 10.07.1988-15.07.1988]
Permanent Link: http://hdl.handle.net/11104/0126345 - 2.0369565 - ÚI 2012 US eng C - Conference Paper (international conference)
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 - others:GA AV ČR(CZ) GAP202/11/0312
Keywords : component model * architecture evolution * dynamic reconfiguration
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0203596File Download Size Commentary Version Access a0369565.pdf 0 540.8 KB Publisher’s postprint require - 3.0341253 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * formal verification
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0184294 - 4.0341252 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
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 - others:GA ČR(CZ) GA201/06/0770
Program: GA
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * formal verification
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0184293 - 5.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 - 6.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 - 7.0334272 - ÚI 2010 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GD201/05/H014
Grant - others:GA ČR(CZ) GA201/06/0770
Program: GA
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/0179054