共 50 条
- [21] Reasoning with UML class diagrams 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
- [22] Formalization of the UML Class Diagrams EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
- [23] Automatic generation method of class test cases based on UML state diagrams Jisuanji Gongcheng/Computer Engineering, 2003, 29 (21):
- [25] Organizing UML class diagrams in layers Enabling Technologies for the New Knowledge Society, 2005, : 39 - 55
- [26] Full Satisfiability of UML Class Diagrams CONCEPTUAL MODELING - ER 2010, 2010, 6412 : 317 - 331
- [27] Composition inference for UML class diagrams Automated Software Engineering, 2007, 14 : 179 - 213
- [30] Agent UML class diagrams revisited AGENT TECHNOLOGIES, INFRASTRUCTURES, TOOLS, AND APPLICATIONS FOR E-SERVICES, 2002, 2592 : 49 - 60