共 50 条
- [31] A transformation-based approach to testing concurrent programs using UML activity diagrams SOFTWARE-PRACTICE & EXPERIENCE, 2016, 46 (04): : 551 - 576
- [32] Prioritization of Scenarios based on UML Activity Diagrams 2009 1ST INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE, COMMUNICATION SYSTEMS AND NETWORKS(CICSYN 2009), 2009, : 271 - 276
- [33] Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 668 - 679
- [35] Using Graph Transformation and Maude to Simulate and Verify UML Models 2013 INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ADVANCES IN ELECTRICAL, ELECTRONICS AND COMPUTER ENGINEERING (TAEECE), 2013, : 459 - 464
- [36] Automatic Validation of UML Specifications Based on UML Environment Models 2017 4TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING TECHNOLOGIES AND APPLIED SCIENCES (ICETAS), 2017,
- [37] Workflow modeling with extended UML activity diagrams and its transformation into XPDL Jisuanji Jicheng Zhizao Xitong, 2009, 8 (1514-1521):
- [38] Verification and Validation of Activity Diagrams Using Graph Transformation PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 201 - +
- [39] Automatic Transformation of User Stories into UML Use Case Diagrams using NLP Techniques 9TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2018) / THE 8TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2018) / AFFILIATED WORKSHOPS, 2018, 130 : 42 - 49
- [40] Automated Scenario Generation based on UML Activity Diagrams ICIT 2008: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, 2008, : 209 - 214