共 50 条
- [2] Reasoning on UML class diagrams with OCL constraints CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 497 - +
- [3] Refactoring OCL annotated UML class diagrams SOFTWARE AND SYSTEMS MODELING, 2008, 7 (01): : 25 - 47
- [4] Refactoring OCL annotated UML class diagrams MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 280 - 294
- [5] A feedback technique for unsatisfiable UML/OCL class diagrams SOFTWARE-PRACTICE & EXPERIENCE, 2014, 44 (11): : 1379 - 1393
- [8] Constraints checking in UML class diagrams:: SQL vs OCL DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2007, 4653 : 593 - +
- [9] Translating Alloy Specifications to UML Class Diagrams Annotated with OCL SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 221 - +
- [10] Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams using Filmstripping 19TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2016), 2016, : 708 - 713