共 50 条
- [41] A formal framework for reasoning on UML class diagrams FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 503 - 513
- [42] Reasoning on UML class diagrams with OCL constraints CONCEPTUAL MODELING - ER 2006, PROCEEDINGS, 2006, 4215 : 497 - +
- [43] Consistency Checking of UML Class and Sequence Diagrams 2015 8TH INTERNATIONAL CONFERENCE ON UBI-MEDIA COMPUTING (UMEDIA) CONFERENCE PROCEEDINGS, 2015, : 98 - 103
- [44] Translating semantic networks to UML class diagrams KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS: PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE KES-2016, 2016, 96 : 946 - 950
- [46] Redesign of UML class diagrams: a formal approach Software & Systems Modeling, 2009, 8 : 165 - 183
- [47] Redesign of UML class diagrams: a formal approach SOFTWARE AND SYSTEMS MODELING, 2009, 8 (02): : 165 - 183
- [48] Consistency of UML class diagrams with hierarchy constraints NEXT GENERATION INFORMATION TECHNOLOGIES AND SYSTEMS, PROCEEDINGS, 2006, 4032 : 71 - 82
- [49] On the Computational Complexity of the Reachability Problem in UML Activity Diagrams 2009 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING AND INTELLIGENT SYSTEMS, PROCEEDINGS, VOL 2, 2009, : 572 - 576