共 50 条
- [21] 3D visualization for object-oriented systems Jisuanji Xuebao/Chinese Journal of Computers, 1997, 20 (09): : 775 - 781
- [22] On the integration of formal methods and object-oriented methods Jisuanji Gongcheng, 1 (13-16, 69):
- [24] Object-oriented model refinement technique in software reengineering TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 32 - 38
- [26] A weakest precondition semantics for an object-oriented language of refinement FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1439 - 1459
- [28] Utilization of 3-D graphical simulation with object-oriented product model for building construction process COMPUTING IN CIVIL ENGINEERING, 1998, : 73 - 83
- [29] A framework for object identification and refinement process in object-oriented analysis and design FIRST IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, PROCEEDINGS, 2002, : 351 - 360