共 50 条
- [41] Formalize UML 2 Sequence Diagrams [J]. 11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 437 - 440
- [42] Ordering actions in sequence diagrams of UML [J]. ITI 2001: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2001, : 3 - 14
- [43] Analyzing UML Sequence Diagrams with UTP [J]. FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 417 - 423
- [44] Extending agent UML sequence diagrams [J]. AGENT-ORIENTED SOFTWARE ENGINEERING III, 2002, 2585 : 150 - 161
- [45] Interactive exploration of UML sequence diagrams [J]. 3RD IEEE INTERNATIONAL WORKSHOP ON VISUALIZING SOFTWARE FOR UNDERSTANDING AND ANALYSIS, PROCEEEDINGS, 2005, : 8 - 13
- [46] Generating structured implementation schemes from UML sequence diagrams [J]. TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 317 - 328
- [47] Automatic Network Protocol Synthesis from UML Sequence Diagrams [J]. 2013 14TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV): COMMON CHALLENGES AND SOLUTIONS, 2013, : 68 - 73
- [48] UML interaction diagrams:: Correct translation of sequence diagrams into collaboration diagrams [J]. APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2003, 3062 : 275 - 291
- [49] The Research on Test Case Generation Technology of UML Sequence Diagram [J]. 2014 PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2014), 2014, : 1067 - 1069