共 50 条
- [12] Validation of UML static diagrams using B SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2005, : 915 - 920
- [13] Enhancing UML Activity Diagrams using OCL 2013 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMPUTING RESEARCH (ICCIC), 2013, : 1 - 6
- [15] UML Miner: a tool for mining UML diagrams 2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 30 - 34
- [16] Formal verification of dynamic UML diagrams using TLA PROCEEDINGS OF THE SECOND IASTED INTERNATIONAL MULTI-CONFERENCE ON AUTOMATION, CONTROL, AND INFORMATION TECHNOLOGY - SOFTWARE ENGINEERING, 2005, : 85 - 91
- [18] Synthesis of test scenarios using UML activity diagrams Software & Systems Modeling, 2011, 10 : 63 - 89
- [20] Specification and Execution of System Optimization Processes with UML Activity Diagrams 2016 ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2016, : 458 - 464