共 50 条
- [32] Transformation of UML state machines for direct execution 2005 IEEE Symposium on Visual Language and Human-Centric Computing, Proceedings, 2005, : 117 - 124
- [33] An Institutional Approach to Communicating UML State Machines FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2022, 2022, 13241 : 205 - 224
- [34] Refinement Patterns for Hierarchical UML State Machines FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 371 - +
- [35] Formalising UML state machines for model checking UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 430 - 445
- [37] Model-based test case generation from UML sequence diagrams using extended finite state machines Software Quality Journal, 2021, 29 : 597 - 627
- [38] UML 2.0 state machines:: Complete formal semantics via core state machines FORMAL METHODS: APPLICATIONS AND TECHNOLOGY, 2007, 4346 : 244 - +
- [39] Conformance Testing Based on UML State Machines Automated Test Case Generation, Execution and Evaluation FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 45 - 65
- [40] Verification of UML state diagrams using concurrent state machines Software Engineering Techniques: Design for Quality, 2006, 227 : 261 - 271