共 50 条
- [1] A data design approach for object-oriented FEM programs [J]. COMPUTERS & STRUCTURES, 1996, 61 (03) : 503 - 513
- [2] Navigating Through the Design of Object-Oriented Programs [J]. FIFTEENTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2008, : 331 - +
- [3] Design by contract: Making object-oriented programs that work [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS (TOOLS 25) - PROCEEDINGS, 1998, : 360 - 360
- [4] PROGRAM DESIGN VISUALIZATION SYSTEM FOR OBJECT-ORIENTED PROGRAMS [J]. SIGPLAN NOTICES, 1989, 24 (04): : 181 - 183
- [5] A logic of object-oriented programs [J]. VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 11 - 41
- [7] Slicing object-oriented programs [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 395 - 404
- [9] Recursion in object-oriented programs [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1998, 11 (07): : 28 - 35