Výsledky vyhledávání
- 1.0090750 - ÚI 2008 CZ eng V - Výzkumná zpráva
Pařízek, P. - Plášil, František
Heuristic Reduction of Parallelism in Component Environment.
[Heuristická redukce paralelismu v prostředí komponenty.]
Prague: Department of Software Engineering, Charles University, 2007. 17 s. Technical Report, 2007/2.
Grant CEP: GA ČR GA201/06/0770
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * model checking * concurrency errors * Java PathFinder * static analysis
Trvalý link: http://hdl.handle.net/11104/0151534 - 2.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 - 3.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