Search results
- 1.0404746 - UIVT-O 20020169 US eng V - Research Report
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.
Institutional research plan: AV0Z1030915
Keywords : software component * behavior description * software contract
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124982 - 2.0105245 - UIVT-O 20040236 CZ eng V - Research Report
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.
R&D Projects: GA ČR GA201/03/0911
Institutional research plan: CEZ:AV0Z1030915
Keywords : software component * behavior specification * behavior protocols * component composition
Subject RIV: JD - Computer Applications, Robotics
Permanent Link: http://hdl.handle.net/11104/0012492 - 3.0031786 - UIVT-O 336109 SIGLE CZ eng V - Research Report
Adámek, Jiří
Modeling Unbounded Paralelism using Behavior Protocols.
Prague: Charles University Dept. of SW Engn, 2005. 15 s. Technical Report, 2005/7.
R&D Projects: GA ČR(CZ) GA102/03/0672
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * model checking * unbounded parallelism * behavior protocols
Subject RIV: JD - Computer Applications, Robotics
Permanent Link: http://hdl.handle.net/11104/0132434