共 50 条
- [35] GEOGRAPHICAL OBJECT-ORIENTED DATABASES - A CASE-STUDY INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SYSTEMS, 1993, 7 (01): : 39 - 55
- [36] Amber metrics for the testing & maintenance of object-oriented designs SECOND EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1998, : 205 - 208
- [37] Evaluating the quality of reverse engineered object-oriented designs 1997 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 4, 1997, : 305 - 313
- [38] Validation of object-oriented concurrent designs by model checking CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 360 - 364
- [39] Vooduu: Verification of object-oriented designs using UPPAAL TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 139 - 143