共 50 条
- [2] A formal framework for reasoning on UML class diagrams [J]. FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 503 - 513
- [3] Helping software engineers reusing UML class diagrams [J]. CASE-BASED REASONING RESEARCH AND DEVELOPMENT, PROCEEDINGS, 2007, 4626 : 449 - +
- [5] Optimizing UML Class Diagrams [J]. 7TH SEMINAR ON INDUSTRIAL CONTROL SYSTEMS: ANALYSIS, MODELING AND COMPUTING (ICS 2018), 2018, 18
- [6] Querying UML Class Diagrams [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 1 - 25
- [9] Reasoning with UML class diagrams [J]. 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
- [10] Formalization of the UML Class Diagrams [J]. EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192