共 50 条
- [31] Simulation-based analysis of UML statechart diagrams: methods and case studies Software Quality Journal, 2008, 16 : 45 - 78
- [32] A formal testing framework for UML statechart diagrams behaviours: From theory to automatic verification SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 11 - 22
- [34] UML Statechart Anti-Patterns 2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022), 2022, : 413 - 414
- [35] An Evaluation of the Statechart Diagrams Visual Syntax 2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA), 2014,
- [36] Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 51 (01): : 43 - 75
- [37] Use of Statechart Diagrams for Modeling of Hypertext Programming and Computer Software, 2004, 30 : 47 - 51
- [40] Safety PLC Programming Based on UML Statechart 13TH INTERNATIONAL CONFERENCE ON ELEKTRO (ELEKTRO 2020), 2020,