共 50 条
- [1] Querying UML Class Diagrams [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 1 - 25
- [4] Reasoning with UML class diagrams [J]. 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
- [5] Formalization of the UML Class Diagrams [J]. EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
- [6] Composition inference for UML class diagrams [J]. Automated Software Engineering, 2007, 14 : 179 - 213
- [7] Organizing UML class diagrams in layers [J]. Enabling Technologies for the New Knowledge Society, 2005, : 39 - 55
- [8] Full Satisfiability of UML Class Diagrams [J]. CONCEPTUAL MODELING - ER 2010, 2010, 6412 : 317 - 331
- [9] DEPENDENCE ANALYSIS FOR UML CLASS DIAGRAMS [J]. Journal of Electronics(China), 2004, (03) : 249 - 254