共 50 条
- [41] Automatic Network Protocol Synthesis from UML Sequence Diagrams 2013 14TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV): COMMON CHALLENGES AND SOLUTIONS, 2013, : 68 - 73
- [42] UML interaction diagrams:: Correct translation of sequence diagrams into collaboration diagrams APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2003, 3062 : 275 - 291
- [44] An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations 10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 : 604 - 611
- [45] A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016), 2016, : 73 - 80
- [46] A Meta-Model Transformation from UML Activity Diagrams to Event-B Models 2014 38TH ANNUAL IEEE INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW 2014), 2014, : 740 - 745
- [47] Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis Model ENASE: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2017, : 336 - 345
- [49] Towards the reverse engineering of UML sequence diagrams 10TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2003, : 57 - 66