共 50 条
- [31] Generation of distributed object-oriented programs PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 649 - 654
- [32] A Refinement Methodology for Object-Oriented Programs FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 153 - +
- [33] A FRAMEWORK FOR TESTING OBJECT-ORIENTED PROGRAMS JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1992, 5 (03): : 45 - 53
- [35] A testing assistant for object-oriented programs 1998 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 4, 1998, : 149 - 158
- [37] The object-oriented design of KROSS: An object-oriented spatial database system DATABASE AND EXPERT SYSTEMS APPLICATIONS, 1996, 1134 : 603 - 612
- [38] Recursive object types in a logic of object-oriented programs PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 1381 : 170 - 184