Výsledky vyhledávání
- 1.0334329 - ÚI 2010 CZ eng V - Výzkumná zpráva
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.
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: component model * architecture evolution * dynamic reconfiguration
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0179097 - 2.0090751 - ÚI 2008 CZ eng V - Výzkumná zpráva
Š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.
Grant CEP: GA ČR GA201/06/0770
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal verification * slicing * behavior protocols
Trvalý link: http://hdl.handle.net/11104/0151535