共 50 条
- [41] Meta-validation of UML structural diagrams and behavioral diagrams with consistency rules [J]. 2003 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS, AND SIGNAL PROCESSING, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2003, : 679 - 683
- [42] An Evaluation of the Statechart Diagrams Visual Syntax [J]. 2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA), 2014,
- [43] An empirical study of user preference and performance with UML diagrams. [J]. IEEE 2002 SYMPOSIA ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2002, : 31 - 33
- [44] Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 51 (01): : 43 - 75
- [46] Use of Statechart Diagrams for Modeling of Hypertext [J]. Programming and Computer Software, 2004, 30 : 47 - 51
- [48] Safety PLC Programming Based on UML Statechart [J]. 13TH INTERNATIONAL CONFERENCE ON ELEKTRO (ELEKTRO 2020), 2020,
- [49] B Formal Modeling Based on UML Statechart [J]. 2015 FIFTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2015, : 1658 - 1663
- [50] Dynamic Slicing Research of UML Statechart Specifications [J]. JOURNAL OF COMPUTERS, 2011, 6 (04) : 792 - 798