共 50 条
- [41] Formal Verification of UML Sequence Diagrams in the Embedded Systems Context 2011 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC), 2011, : 39 - 45
- [42] Generating structured implementation schemes from UML sequence diagrams TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 317 - 328
- [43] Automatic Test Data Synthesis using UML Sequence Diagrams JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (02): : 115 - 144
- [45] Extension of UML sequence diagrams for aspect-oriented modeling 2013, Centro de Informacion Tecnologica (24): : 3 - 12
- [46] Automatic Layout and Label Management for Compact UML Sequence Diagrams 2018 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), 2018, : 187 - 191
- [47] Use of tabular analysis method to construct UML sequence diagrams CONCEPTUAL MODELING - ER 2004, PROCEEDINGS, 2004, 3288 : 740 - 752
- [48] A Multi-level Methodology for Developing UML Sequence Diagrams CONCEPTUAL MODELING - ER 2008, PROCEEDINGS, 2008, 5231 : 114 - 127
- [49] Control flow analysis off UML 2.0 sequence diagrams MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2005, 3748 : 160 - 174
- [50] Refinement of UML2.0 Sequence Diagrams for Distributed Systems ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, : 310 - 318