共 50 条
- [41] From UML 2 Sequence Diagrams to State Machines by Graph Transformation JOURNAL OF OBJECT TECHNOLOGY, 2011, 10
- [42] Formal Verification of UML State Machine Diagrams Using Petri Nets NETWORKED SYSTEMS, NETYS 2019, 2019, 11704 : 67 - 74
- [43] Automated generation of statistical test cases from UML state diagrams 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 205 - 214
- [44] Automatic test case generation from UML State Machine diagrams PROGRAMMING 2019: PROCEEDINGS OF THE CONFERENCE COMPANION OF THE 3RD INTERNATIONAL CONFERENCE ON ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, 2019,
- [46] A rule-based procedure for automatic recognition of design patterns in UML diagrams SOFTWARE-PRACTICE & EXPERIENCE, 2016, 46 (07): : 983 - 1007
- [47] Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02): : 813 - 838
- [49] Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange Software & Systems Modeling, 2015, 14 : 813 - 838