共 50 条
- [41] A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 85 - +
- [42] A constraint-based collaborative environment for learning UML class diagrams INTELLIGENT TUTORING SYSTEMS, PROCEEDINGS, 2006, 4053 : 176 - 186
- [43] Assert and negate revisited: Modal semantics for UML sequence diagrams SOFTWARE AND SYSTEMS MODELING, 2008, 7 (02): : 237 - 252
- [44] Structural similarity measure between UML class diagrams based on UCG Requirements Engineering, 2020, 25 : 213 - 229
- [46] Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 206 - 217
- [47] Evaluating a Collaborative Constraint-based Tutor for UML Class Diagrams ARTIFICIAL INTELLIGENCE IN EDUCATION: BUILDING TECHNOLOGY RICH LEARNING CONTEXTS THAT WORK, 2007, 158 : 533 - 535
- [48] Safety-liveness semantics for UML 2.0 sequence diagrams ACSD2005: FIFTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2005, : 6 - 14