共 50 条
- [25] SOFTWARE CONSTRUCTION USING OBJECT-ORIENTED LANGUAGES SAFETY AND RELIABILITY OF AUTOMOBILE ELECTRONIC SYSTEMS, 1989, 780 : 345 - 353
- [26] Automatic extraction and visualization of object-oriented software design metrics VISUAL DATA EXPLORATION AND ANALYSIS VII, 2000, 3960 : 218 - 225
- [28] Object-oriented software requirements definition and its automatic transformation Progress in Natural Science, 1999, 9 (03): : 169 - 170
- [29] A logic of object-oriented programs VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 11 - 41