共 50 条
- [22] On the use of association redefinition in UML class diagrams CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 513 - +
- [23] Refactoring OCL annotated UML class diagrams SOFTWARE AND SYSTEMS MODELING, 2008, 7 (01): : 25 - 47
- [24] Refactoring OCL annotated UML class diagrams MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 280 - 294
- [25] A Formal Specification of UML Class and State Diagrams SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, 149 : 247 - 257
- [27] Expressing UML class diagrams properties with OCL OBJECT MODELING WITH THE OCL: THE RATIONALE BEHIND THE OBJECT CONSTRAINT LANGUAGE, 2002, 2263 : 85 - 114
- [28] A formal framework for reasoning on UML class diagrams FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 503 - 513
- [29] Reasoning on UML class diagrams with OCL constraints CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 497 - +