共 50 条
- [1] Comparing reading techniques for Object-Oriented design inspection [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (04): : 976 - 984
- [3] Further investigations into the development and evaluation of reading techniques for object-oriented code inspection [J]. ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 47 - 57
- [4] UML tool support: Utilization of object-oriented models [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 529 - 534
- [5] Transforming UML static models into object-oriented code [J]. 37TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, : 170 - 181
- [6] UML to B: Formal verification of object-oriented models [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 187 - 206
- [7] Extending the UML for dimensional models in object-oriented database [J]. Sixteenth International Workshop on Database and Expert Systems Applications, Proceedings, 2005, : 1150 - 1154