Search results
- 1.0382767 - ÚI 2013 CZ eng V - Research Report
Šimko, V. - Hnětynka, P. - Bureš, Tomáš - Plášil, František
Formal Verification of Annotated Use-Cases.
Prague: Department of Distributed and Dependable Systems, Charles University, 2012. 17 s. Technical report, 2012/2.
R&D Projects: GA AV ČR GAP103/11/1489
Grant - others:GA UK SVV-2012-265312
Institutional support: RVO:67985807
Keywords : specification * use-cases * behavior modeling * verification * temporal logic * formalization
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0212892 - 2.0369594 - ÚI 2012 CZ eng V - Research Report
Outlý, M. - Pop, T. - Bureš, Tomáš
Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments.
Prague: Department of Software Engineering, Charles University, 2011. 63 s. Technical Report, 2011/7.
Institutional research plan: CEZ:AV0Z10300504
Keywords : embedded-systems * real-time systems * software variability * software architecture modes * SOFA
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0203620 - 3.0354844 - ÚI 2011 CZ cze V - Research Report
Hošek, P. - Pop, T. - Bureš, Tomáš - Hnětynka, P. - Malohlava, M.
Supporting real-time features in a hierarchical component system.
Prague: Department of Distributed and Dependable Systems, Charles University, 2010. 59 s. Technical report, 2010/5.
Institutional research plan: CEZ:AV0Z10300504
Keywords : cbse * sofa hi * embedded systems * modeling * design * architecture * component system
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0193757 - 4.0334329 - ÚI 2010 CZ eng V - Research Report
Bureš, Tomáš - Ježek, P. - Malohlava, M. - Poch, T. - Šerý, O.
Fine-grained Entities in Component Architectures.
Prague: Department of Software Engineering, Charles University, 2009. 17 s. Technical Report, 2009/5.
Institutional research plan: CEZ:AV0Z10300504
Keywords : component model * architecture evolution * dynamic reconfiguration
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0179097 - 5.0105246 - UIVT-O 20040237 CZ eng V - Research Report
Bulej, Lubomír - Bureš, Tomáš
Addressing Heterogeneity in OMG D&C-Based Deployment.
Prague: Charles University Dept. of SW Engn., 2004. 22 s. Technical Report, 2004/7.
R&D Projects: GA ČR GA102/03/0672
Institutional research plan: CEZ:AV0Z1030915
Keywords : OMG deployment * software connectors
Subject RIV: JD - Computer Applications, Robotics
Permanent Link: http://hdl.handle.net/11104/0012493 - 6.0103306 - UIVT-O 20040047 CZ eng V - Research Report
Bulej, Lubomír - Bureš, Tomáš
A Connector Model Suitable for Automatic Generation of Connectors.
Prague: Charles University Dept. of SW Engn., 2003. 30 s. Technical Report, No. 2003/1.
Institutional research plan: CEZ:AV0Z1030915
Keywords : component based software engineering * software connectors
Subject RIV: JD - Computer Applications, Robotics
Permanent Link: http://hdl.handle.net/11104/0010617 - 7.0103305 - UIVT-O 20040046 CZ eng V - Research Report
Bureš, Tomáš - Plášil, František
Composing Connectors of Elements.
Prague: Charles University Dept. of SW Engn., 2003. 15 s. Technical Report, No. 2003/3.
R&D Projects: GA ČR GA102/03/0672; GA ČR GA201/03/0911
Institutional research plan: CEZ:AV0Z1030915
Keywords : software connector * component-based programming * software architecture * middleware * component interconnections
Subject RIV: JD - Computer Applications, Robotics
Permanent Link: http://hdl.handle.net/11104/0010616 - 8.0079014 - ÚI 2007 CZ eng V - Research Report
Bulej, Lubomír - Bureš, Tomáš
Addressing Static Execution Overhead in Connectors with Disabled Optional Features.
Prague: Department of Software Engineering, Charles University, 2006. 23 s. Technical Report, 2006/6.
R&D Projects: GA AV ČR 1ET400300504
Institutional research plan: CEZ:AV0Z10300504; CEZ:MSM0021602838
Keywords : component systems * software connectors * runtime reconfiguration
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0143915 - 9.0079013 - ÚI 2007 CZ eng V - Research Report
Hnětynka, P. - Plášil, František - Bureš, Tomáš - Mencl, V. - Kapová, L.
SOFA 2.0 Metamodel.
Prague: Department of Software Engineering, Charles University, 2005. 15 s. Technical Report, 2005/11.
Subject RIV: JC - Computer Hardware ; Software
Permanent Link: http://hdl.handle.net/11104/0143914 - 10.0031790 - UIVT-O 336113 SIGLE CZ eng V - Research Report
Galík, O. - Bureš, Tomáš
Handling Heterogeneity in Connector Generation.
Prague: Charles University Dept. of SW Engineering, 2005. 15 s. Technical Report, 2005/2.
R&D Projects: GA ČR(CZ) GA201/03/0911
Institutional research plan: CEZ:AV0Z10300504
Keywords : software connectors * code synthesis * heterogeneous deployment
Subject RIV: JD - Computer Applications, Robotics
Permanent Link: http://hdl.handle.net/11104/0132438