共 50 条
- [42] A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 85 - +
- [43] 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] Enhanced Code Generation from UML Composite State Machines PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 235 - 245
- [48] HDL code generation from UML/MARTE sequence diagrams for verification and synthesis Design Automation for Embedded Systems, 2015, 19 : 277 - 299
- [49] Automatic generation of UML sequence diagrams from user stories in Scrum process 2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA), 2015,