共 50 条
- [21] Branching time semantics for UML 2.0 sequence diagrams [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2006, 2006, 4229 : 259 - 274
- [22] On execution semantics of UML statechart diagrams using the π-calculus [J]. SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 877 - 882
- [25] Full Satisfiability of UML Class Diagrams [J]. CONCEPTUAL MODELING - ER 2010, 2010, 6412 : 317 - 331
- [26] Organizing UML class diagrams in layers [J]. Enabling Technologies for the New Knowledge Society, 2005, : 39 - 55
- [27] Composition inference for UML class diagrams [J]. Automated Software Engineering, 2007, 14 : 179 - 213
- [29] DEPENDENCE ANALYSIS FOR UML CLASS DIAGRAMS [J]. Journal of Electronics(China), 2004, (03) : 249 - 254
- [30] Improving the testability of UML class diagrams [J]. IWOTA 2004: 1ST INTERNATIONAL WORKSHOP ON TESTABILITY ASSESSMENT, PROCEEDINGS, 2004, : 70 - 80