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