共 50 条
- [21] Object-oriented specification of coordinated collaboration [J]. ADVANCED IT TOOLS, 1996, : 437 - 449
- [22] OASIS - AN OBJECT-ORIENTED SPECIFICATION LANGUAGE [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 593 : 348 - 363
- [23] Specification and Verification of Object-Oriented Software [J]. ENGINEERING METHODS AND TOOLS FOR SOFTWARE SAFETY AND SECURITY, 2009, 22 : 231 - 266
- [24] Specification matching of object-oriented components [J]. FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 182 - 190
- [25] OBJECT-ORIENTED SPECIFICATION AND STEPWISE REFINEMENT [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 1 : 99 - 121
- [26] OBJECT-ORIENTED SPECIFICATION OF USER INTERFACES [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1995, 25 (11): : 1203 - 1221
- [27] XML-based retrieval of object-oriented frameworks [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 2953 - 2958
- [28] Research on Software Reuse Methods Based on the Object-Oriented Components [J]. PROCEEDINGS OF 2012 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2012), 2012, : 1857 - 1860
- [29] Theory of specification-based testing for object-oriented software [J]. Lect Notes Comput Sci, (303):
- [30] Object-oriented database mining: Use of object oriented concepts for improving data classification technique [J]. COMPUTATIONAL SCIENCE - ICCS 2004, PT 1, PROCEEDINGS, 2004, 3036 : 303 - 309