共 50 条
- [1] Formal Definition of Measures for UML Statechart Diagrams Using OCL APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 846 - +
- [2] Meta-validation of UML diagrams using OCL rules SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 660 - 666
- [3] A feedback technique for unsatisfiable UML/OCL class diagrams SOFTWARE-PRACTICE & EXPERIENCE, 2014, 44 (11): : 1379 - 1393
- [4] Aspectual templates in UML Enhancing the semantics of UML templates in OCL SOFTWARE AND SYSTEMS MODELING, 2017, 16 (02): : 469 - 497
- [8] Translating Alloy Specifications to UML Class Diagrams Annotated with OCL SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 221 - +
- [9] Translating between Alloy specifications and UML class diagrams annotated with OCL Software & Systems Modeling, 2015, 14 : 5 - 25
- [10] A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2022, 450 : 267 - 275