Výsledky vyhledávání
- 1.0405579 - UIVT-O 330959 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Kofroň, Jan
Behavior Protocols: Efficient Checking for Composition Errors.
Doktorandský den '05. Praha: MATFYZPRESS, 2005 - (Hakl, F.), s. 40-44. ISBN 80-86732-56-8.
[Doktorandský den '05. Nový Dvůr (CZ), 05.10.2005-07.10.2005]
Klíčová slova: software components * behavior protocols * state space explosion
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125733Název souboru Staženo Velikost Komentář Verze Přístup 0405579.pdf 0 627.2 KB Vydavatelský postprint povolen - 2.0405198 - UIVT-O 330337 NL eng J - Článek v odborném periodiku
Plášil, František - Mencl, V.
Getting 'Whole Picture' Behavior in a Use Case Model.
Journal of Integrated Design and Process Science. Roč. 7, č. 4 (2003), s. 63-79. ISSN 1092-0617
Grant CEP: GA ČR GA201/03/0911
Klíčová slova: use case model * genetic UC view * pro-case * behavior protocols
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0125392 - 3.0404870 - UIVT-O 20020224 CZ eng V - Výzkumná zpráva
Plášil, František - Višňovský, S. - Bešta, M.
Behavior Protocols and Components.
Prague: Dep. of SW Engn. Charles University, 1999. 22 s. Technical Report, No. 99/02.
Grant CEP: GA AV ČR IAA2030902; GA ČR GA201/99/0244
Klíčová slova: behavior protocols * protocol conformance * architecture description language * component-based programming
Trvalý link: http://hdl.handle.net/11104/0125096 - 4.0404865 - UIVT-O 20020223 DE eng A - Abstrakt
Plášil, František - Višňovský, S. - Bešta, M.
Behavior Protocols and Components.
Component-Based Programming under Different Paradigms. Dagstuhl: IBFI gem. GmbH, 1999 - (Wadler, P.; Weihe, K.). s. 7-8. ISSN 0940-1121.
[Component-Based Programming under Different Paradigms Workshop. 21.02.1999-26.02.1999, Daghstul]
Klíčová slova: software component * behavior description * behavior protocols
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125091 - 5.0404748 - UIVT-O 20020171 RIV US eng J - Článek v odborném periodiku
Plášil, František - Višňovský, Stanislav
Behavior Protocols for Software Components.
IEEE Transactions on Software Engineering. Roč. 28, č. 11 (2002), s. 1056-1076. ISSN 0098-5589. E-ISSN 1939-3520
Grant CEP: GA AV ČR IAA2030902; GA ČR GA201/99/0244
Grant ostatní: Eureka(XE) Pepita project no.2033
Výzkumný záměr: AV0Z1030915
Klíčová slova: behavior protocols * component-based programming * software architecture
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 1.170, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0124984 - 6.0404254 - UIVT-O 20010078 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Plášil, František - Višňovský, Stanislav - Besta, Miloslav
Bounding Component Behavior via Protocols.
Technology of Object-Oriented Languages and Systems. Proceedings. Los Alamitos: IEEE Computer Society, 1999 - (Firesmith, D.; Riehle, R.; Pour, G.; Meyer, B.), s. 387-398. ISBN 0-7695-0278-4.
[TOOLS /30./. Santa Barbara (US), 01.08.1999-05.08.1999]
Grant CEP: GA AV ČR IAA2030902; GA ČR GA201/99/0244
Výzkumný záměr: AV0Z1030915
Klíčová slova: software components * behavior protocols * software architecture
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0124517 - 7.0404253 - UIVT-O 20010077 CZ eng V - Výzkumná zpráva
Plášil, František - Višňovský, Stanislav - Besta, M.
Behavior Protocols.
Prague: Dep. of SW Engn. Charles University, 2000. 38 s. Technical Report, No. 2000/7.
Grant CEP: GA AV ČR IAA2030902; GA ČR GA201/99/0244
Výzkumný záměr: AV0Z1030915
Klíčová slova: software components * behavior protocols * software architecture
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124516 - 8.0317215 - ÚI 2009 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Parízek, P. - Plášil, František
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.
[Modelování komponentového prostředí za výskytu zpětných volání a autonomních aktivit.]
Objects, Components, Models and Patterns. Berlin: Springer-Verlag, 2008 - (Paige, R.; Meyer, B.), s. 2-21. Lecture Notes in Business Information Processing, 11. ISBN 978-3-540-69823-4.
[TOOLS EUROPE 2008. International Conference on Objects, Models, Components, Patterns /46./. Zurich (CH), 30.06.2008-04.07.2008]
Grant ostatní: GA ČR(CZ) GA201/06/0770
Program: GA
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: assume-guarantee reasoning * behavior protocols * modeling of environment behavior * callbacks * autonomous activities
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0166917 - 9.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 - 10.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