Search results

  1. 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. 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/0203596
    FileDownloadSizeCommentaryVersionAccess
    a0369565.pdf0540.8 KBPublisher’s postprintrequire
     
     
  3. 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. 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. 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. 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. 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
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.