共 50 条
- [1] Utilization of object-oriented models Advances in Automation, Multimedia and Video Systems, and Modern Computer Science, 2001, : 211 - 216
- [2] Tool support for object-oriented patterns ECOOP'97: OBJECT-ORIENTED PROGRAMMING, 1997, 1241 : 472 - 495
- [3] Transforming UML static models into object-oriented code 37TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, : 170 - 181
- [4] Extending the UML for dimensional models in object-oriented database Sixteenth International Workshop on Database and Expert Systems Applications, Proceedings, 2005, : 1150 - 1154
- [5] UML to B: Formal verification of object-oriented models INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 187 - 206
- [9] Object-oriented reading techniques for inspection of UML models - An industrial experiment ECOOP 2003 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2003, 2743 : 483 - 500
- [10] A formal object-oriented approach to defining consistency constraints for UML models 2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 87 - 94