Výsledky vyhledávání
- 1.0404746 - UIVT-O 20020169 US eng V - Výzkumná zpráva
Adámek, Jiří - Plášil, František
Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates.
Durham: Deptartment of Computer Science University of New Hampshire, 2002. 15 s. Technical Report Series, TR 02/10.
Výzkumný záměr: AV0Z1030915
Klíčová slova: software component * behavior description * software contract
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124982 - 2.0105245 - UIVT-O 20040236 CZ eng V - Výzkumná zpráva
Adámek, Jiří - Plášil, František
Static Checking for Missing Bindings of Components.
Prague: Charles University Dept. of SW Engn., 2004. 10 s. Technical Report, 2004/3.
Grant CEP: GA ČR GA201/03/0911
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: software component * behavior specification * behavior protocols * component composition
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0012492 - 3.0031786 - UIVT-O 336109 SIGLE CZ eng V - Výzkumná zpráva
Adámek, Jiří
Modeling Unbounded Paralelism using Behavior Protocols.
Prague: Charles University Dept. of SW Engn, 2005. 15 s. Technical Report, 2005/7.
Grant CEP: GA ČR(CZ) GA102/03/0672
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: software components * model checking * unbounded parallelism * behavior protocols
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Trvalý link: http://hdl.handle.net/11104/0132434