Výsledky vyhledávání
- 1.0334290 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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 ostatní: GA ČR(CZ) GA201/08/0266
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: reverse engineering * component behavior specification
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179068 - 2.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 - 3.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 - 4.0317137 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Kofroň, Jan - Plášil, František - Šerý, O.
Modes in Component Behavior Specification via EBP and their Application in Product Lines.
[Módy ve specifikaci chování komponent v EBP a jejich aplikace v product lines.]
Information and Software Technology. Roč. 51, č. 1 (2009), s. 31-41. ISSN 0950-5849. E-ISSN 1873-6025
Grant CEP: GA AV ČR 1ET400300504
Grant ostatní: GA ČR(CZ) GA201/08/0266
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: behavior specification * component modes * software product lines
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 1.821, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0166862 - 5.0317133 - ÚI 2009 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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 ostatní: GA ČR(CZ) GA201/08/0266; ANR/RNTL(FR) Flex-eWare; Belgian Science Policy(BE) Interuniversity Attraction Poles Programme
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/0166859 - 6.0105245 - UIVT-O 20040236 CZ eng V - Výzkumná zpráva
Adámek, Jiří - Plášil, František
Static Checking for Missing Bindings of Components.
Prague: Charles University Dept. of SW Engn., 2004. 10 s. Technical Report, 2004/3.
Grant CEP: GA ČR GA201/03/0911
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: software component * behavior specification * behavior protocols * component composition
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0012492 - 7.0091020 - ÚI 2008 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Kofroň, Jan
Checking Software Component Behavior using Behavior Protocols and Spin.
[Ověřování chování softwarových komponent pomocí Behavior Protocols a Spinu.]
Proceedings of the 2007 ACM Symposium on Applied Computing. New York: ACM, 2007, s. 1513-1517. ISBN 1-59593-480-4.
[SAC 2007. Annual ACM Symposium on Applied Computing /22./. Seoul (KR), 11.03.2007-15.03.2007]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: behavior protocols * Promela * behavior specification * verification
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0151721