Number of the records: 1
Static Checking for Missing Bindings of Components
- 1.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
Number of the records: 1