共 50 条
- [1] Implementing reusable object-oriented components [J]. FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE REUSE - PROCEEDINGS, 1998, : 36 - 45
- [2] AN ITERATIVE-DESIGN MODEL FOR REUSABLE OBJECT-ORIENTED SOFTWARE [J]. SIGPLAN NOTICES, 1990, 25 (10): : 12 - 27
- [4] Toward reusable synchronisation for object-oriented languages [J]. OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 439 - 439
- [6] Boogie: A modular reusable verifier for object-oriented programs [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 364 - 387
- [7] THE OBJECT-ORIENTED COBOL MODEL [J]. COMPUTER STANDARDS & INTERFACES, 1993, 15 (2-3) : 301 - 305
- [8] An Object-Oriented Transaction Model [J]. Journal of Computer Science & Technology, 1993, (04) : 289 - 306