共 50 条
- [1] Integrating verification and testing of object-oriented software TESTS AND PROOFS, 2008, 4966 : 182 - 191
- [2] On interoperability verification and testing of object-oriented databases DATABASE REENGINEERING AND INTEROPERABILITY, 1996, : 125 - 140
- [3] Verification and validation guidelines for object-oriented simulation models PROCEEDINGS OF THE 1998 SUMMER COMPUTER SIMULATION CONFERENCE: SIMULATION AND MODELING TECHNOLOGY FOR THE TWENTY-FIRST CENTURY, 1998, : 645 - 650
- [4] Enhancing the process of testing object-oriented systems 2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 3129 - 3143
- [6] Object-oriented real time systems modeling and verification THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 224 - 231
- [7] Object-oriented testing TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS (TOOLS 25) - PROCEEDINGS, 1998, : 359 - 359
- [8] Specification, implementation, and validation of object-oriented embedded systems OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2002, 2323 : 72 - 85
- [9] Specification, implementation, and validation of object-oriented embedded systems OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2000, 1964 : 150 - 177
- [10] An object-oriented real time systems modeling and verification methodology TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 490 - 495