Search results
- 1.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 - 2.0090751 - ÚI 2008 CZ eng V - Research Report
Šerý, O. - Plášil, František
Slicing behavior specification of components.
[Slicing specifikace chování komponent.]
Prague: Department of Software Engineering, Charles University, 2007. 13 s. Technical Report, 2007/1.
R&D Projects: GA ČR GA201/06/0770
Institutional research plan: CEZ:AV0Z10300504
Keywords : formal verification * slicing * behavior protocols
Permanent Link: http://hdl.handle.net/11104/0151535