Výsledky vyhledávání
- 1.0436567 - ÚI 2015 US eng C - Konferenční příspěvek (zahraniční konf.)
Bureš, Tomáš - Hnětynka, P. - Plášil, F.
Strengthening Architectures of Smart CPS by Modeling them as Runtime Product-Lines.
CBSE '14 Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering. New York: ACM, 2014, s. 91-96. ISBN 978-1-4503-2577-6.
[CBSE 2014. International ACM Sigsoft symposium on Component-based software engineering /17./. Lille (FR), 30.06.2014-03.07.2014]
GRANT EU: European Commission(XE) ASCENS 257414
Program: FP7
Klíčová slova: component-based development * component model * cyber-physical systems * software architecture * software components
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0240295Název souboru Staženo Velikost Komentář Verze Přístup a0436567.pdf 1 1.8 MB Vydavatelský postprint vyžádat - 2.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 - 3.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 - 4.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 - 5.0354168 - ÚI 2012 GB eng J - Článek v odborném periodiku
Hnětynka, P. - Plášil, František
Using Meta-modeling in Design and Implementation of Component-based Systems: The SOFA Case-study.
Software-Practice & Experience. Roč. 41, č. 11 (2011), s. 1185-1201. ISSN 0038-0644. E-ISSN 1097-024X
Grant ostatní: GA ČR(CZ) GA201/08/0266
Klíčová slova: software architectures * software components * model-driven development * meta-models * model transformation * ADL
Kód oboru RIV: JC - Počítačový hardware a software
Impakt faktor: 0.519, rok: 2011
Trvalý link: http://hdl.handle.net/11104/0193229 - 6.0349578 - ÚI 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hošek, P. - Pop, T. - Bureš, Tomáš - Hnětynka, P. - Malohlava, M.
Comparison of Component Frameworks for Real-Time Embedded Systems.
Component-Based Software Engineering. Berlin: Springer, 2010 - (Grunske, L.; Reussner, R.; Plášil, F.), s. 21-36. Lecture Notes in Computer Science, 6092. ISBN 978-3-642-13237-7. ISSN 0302-9743.
[CBSE 2010. Symposium on Component-Based Software Engineering /13./. Prague (CZ), 23.06.2010-25.06.2010]
Grant ostatní: GA ČR(CZ) GA201/08/0266
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: survey * software components * component frameworks * real-time and embedded systems
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0189776Název souboru Staženo Velikost Komentář Verze Přístup a0349578.pdf 0 189.1 KB Vydavatelský postprint vyžádat - 7.0349542 - ÚI 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Šimko, V. - Hnětynka, P. - Bureš, Tomáš
From Textual Use-Cases to Component-Based Applications.
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010. Berlin: Springer, 2010 - (Lee, R.; Ma, J.; Bacon, L.; Du, W.; Petridis, M.), s. 23-37. Studies in Computational Intelligence, 295. ISBN 978-3-642-13264-3. ISSN 1860-949X.
[SNDP 2010. International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing /11./. London (GB), 09.06.2010-11.06.2010]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * use-cases * natural language
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0189751Název souboru Staženo Velikost Komentář Verze Přístup a0349542.pdf 1 381.7 KB Vydavatelský postprint vyžádat - 8.0341253 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * formal verification
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0184294 - 9.0341252 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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 ostatní: GA ČR(CZ) GA201/06/0770
Program: GA
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * formal verification
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0184293 - 10.0339935 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hnětynka, P. - Plášil, František
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models.
Component-Based Software Engineering. Berlin: Springer, 2006 - (Gorton, I.; Heineman, G.; Crnkovic, I.; Schmidt, H.; Stafford, J.; Szyperski, C.; Wallnau, K.), s. 352-359. Lecture Notes in Computer Science, 4063. ISBN 3-540-35628-2.
[CBSE 2006. Internatinal Symposium /9./. Vasteras (SE), 29.06.2006-01.07.2006]
Grant ostatní: GA ČR(CZ) GA201/06/0770
Program: GA
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * hierarchical architectures * dynamic architectures * services
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0183303