Výsledky vyhledávání
- 1.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 - 2.0317131 - ÚI 2009 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Parízek, P. - Adámek, Jiří
Checking Session-Oriented Interactions between Web Services.
[Ověřování relačně-omezené komunikace mezi webovými službami.]
34th Euromicro Conference Software Engineering and Advanced Applications. Los Alamitos: IEEE Computer Society, 2008, s. 3-10. ISBN 978-0-7695-3276-9.
[SEAA 2008. EUROMICRO Conference on Software Engineering and Advanced Applications /34./. Parma (IT), 03.09.2008-05.09.2008]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: web services * BPEL * session-oriented interactions * behavior protocols * model checking
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0166858 - 3.0317129 - ÚI 2009 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Adámek, Jiří - Hnětynka, P.
Perspectives in Component-based Software Engineering.
[Vyhlídky v komponentově orientovaném softwarovém inženýrství.]
Proceedings of ICSE 2008 Workshop on Software Engineering in East and South Europe. New York: ACM, 2008, s. 34-42. ISBN 978-1-60558-076-0.
[SEESE 2008. Workshop on Software Engineering in East and South Europe. Leipzig (DE), 10.05.2008-12.05.2008]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: components * formal verification * research cooperation * software architecture
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0166857 - 4.0103389 - UIVT-O 20040130 RIV IE eng C - Konferenční příspěvek (zahraniční konf.)
Adámek, Jiří - Plášil, František
Partial Bindings of Components - Any Harm?
[Komponentové architektury s neúplně definovaným propojením - ano či ne?]
Asia-Pacific Software Engineering Conference. Piscataway: IEEE, 2004, s. 632-639. ISBN 0-7695-2245-9. ISSN 1530-1362.
[APSEC. Asia-Pacific Software Engineering Conference /11./. Busan (KR), 30.11.2004-03.12.2004]
Grant CEP: GA ČR GA201/03/0911
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: software components * interface bindings * behavior protocols
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0010697 - 5.0103386 - UIVT-O 20040127 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Adámek, Jiří - Plášil, František
Erroneous Architecture is a Relative Concept.
[Kontextově závislé chyby v softwarových architekturách.]
Software Engineering and Aplications. Anaheim: ACTA Press, 2004 - (Hamza, M.), s. 715-720. ISBN 0-88986-425-X. ISSN 1482-7905.
[IASTED. International Conference on Software Engineering and Applications /8./. Cambridge (US), 09.11.2004-11.11.2004]
Grant CEP: GA ČR GA201/03/0911
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: faulty software architecture * framework * component behavior
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0010694 - 6.0103266 - UIVT-O 20040007 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Adámek, Jiří - Plášil, František
Behavior Protocols Capturing Errors and Updates.
[Popis chyb a dynamických změn pomocí protokolů chování.]
Unanticipated Software Evolution. Bonn: University of Bonn, 2003 - (Constanza, P.; Kniesel, G.), s. 17-25
[USE'03. International Workshop on Unanticipated Software Evolution /2./. Warsaw (PL), 05.04.2003-06.04.2003]
Grant CEP: GA AV ČR IAA2030902; GA ČR GA201/03/0911
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: software components * composition errors * behavior protocols
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0010578 - 7.0083270 - ÚI 2007 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Adámek, Jiří
Addressing Unbounded Parallelism in Verification of Software Components.
[Řešení neomezeného paralelismu při verifikaci softwarových komponent.]
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. Los Alamitos: IEEE Computer Society, 2006, s. 49-56. ISBN 0-7695-2611-X.
[SNPD '06. ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing /7./. Las Vegas (US), 19.06.2006-20.06.2006]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * formal verification * unbounded parallelism * behavior protocols
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0146563 - 8.0031778 - UIVT-O 336104 RIV AT eng C - Konferenční příspěvek (zahraniční konf.)
Mencl, V. - Plášil, František - Adámek, Jiří
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective.
[Behavior assembly a skládání use case - UML 2.0 perspektiva.]
Proceedings of the 15th IASTED International Conference. Applied Informatics. Anaheim: IASTED Acta Press, 1997 - (Hamza, M.), s. 193-201. ISBN 0-88986-219-2. ISSN 1027-2666.
[SE 2005. Insbruck (AT), 15.02.2005-17.02.2005]
Grant CEP: GA ČR GA102/03/0672
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software methodologies * UML * use cases * formal methods
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0132428