Výsledky vyhledávání
- 1.0085639 - ÚI 2008 CZ eng V - Výzkumná zpráva
Pařízek, P. - Plášil, František - Kofroň, Jan
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker.
[Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol Checker.]
Prague: Department of Software Engineering, Charles University, 2006. 17 s. Technical Report, 2006/2.
Grant CEP: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal verification * software components * behavior protocols * Java PathFinder
Trvalý link: http://hdl.handle.net/11104/0148105 - 2.0085633 - ÚI 2008 CZ eng V - Výzkumná zpráva
Kofroň, Jan
Extending Behavior Protocols With Data and Multisynchronization.
[Rozšíření Behavior Protocols o data a multisynchronizaci.]
Prague: Department of Software Engineering, Charles University, 2006. 19 s. Technical Report, 2006/10.
Grant CEP: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: behavior protocols * formal verification * software components
Trvalý link: http://hdl.handle.net/11104/0148101 - 3.0085632 - ÚI 2008 CZ eng V - Výzkumná zpráva
Kofroň, Jan
Software Component Verification: On Translating Behavior Protocols to Promela.
[Ověřování softwarových komponent: O překladu Behavior Protocols do Promely.]
Prague: Department of Software Engineering, Charles University, 2006. 10 s. Technical Report, 2006/11.
Grant CEP: GA ČR(CZ) GD201/05/H014; GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal verification * software components * PROMELA * behavior protocols
Trvalý link: http://hdl.handle.net/11104/0148100 - 4.0079014 - ÚI 2007 CZ eng V - Výzkumná zpráva
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.
Grant CEP: GA AV ČR 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504; CEZ:MSM0021602838
Klíčová slova: component systems * software connectors * runtime reconfiguration
Kód oboru RIV: JC - Počítačový hardware a software
Trvalý link: http://hdl.handle.net/11104/0143915 - 5.0031788 - UIVT-O 336111 SIGLE CZ eng V - Výzkumná zpráva
Kofroň, Jan
Enhancing Behavior Protocols with Atomic Actions.
Prague: Charles University Dept. of SW Engn, 2005. 10 s. Technical Report, 2005/8.
Grant CEP: GA AV ČR(CZ) 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior protocols * atomic actions * event synchronization
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0132436 - 6.0031787 - UIVT-O 336110 SIGLE CZ eng V - Výzkumná zpráva
Pařízek, P. - Plášil, František
Specification and Generation of Environment for Model Checking of Software Compnents.
Prague: Charles University Dept. of SW Engn, 2005. 10 s. Technical Report, 2005/5.
Grant CEP: GA ČR(CZ) GA102/03/0672; GA AV ČR(CZ) 1ET400300504
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * behavior protocols * model checking * automatic environment generation
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0132435