共 50 条
- [21] Formal models of UML statechart diagrams based on Petri nets [J]. Beijing Hangkong Hangtian Daxue Xuebao, 2007, 2 (248-252):
- [22] Using controlled experiments for validating UML statechart diagrams measures [J]. SOFTWARE PROCESS AND PRODUCT MEASUREMENT, 2008, 4895 : 129 - 138
- [23] Formal Definition of Measures for UML Statechart Diagrams Using OCL [J]. APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 846 - +
- [24] Using practitioners for assessing the understandability of UML statechart diagrams with composite states [J]. ADVANCES IN CONCEPTUAL MODELING - FOUNDATIONS AND APPLICATIONS, 2007, 4802 : 213 - +
- [25] A Survey of Metrics for UML Class Diagrams [J]. JOURNAL OF OBJECT TECHNOLOGY, 2005, 4 (09): : 59 - 92
- [26] Consistency of UML class, object and statechart diagrams using ontology reasoners [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2015, 26 : 42 - 65
- [28] Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations [J]. 200S IEEE SYMPOSIUM ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, 2003, : 137 - 144
- [29] Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis [J]. INFORMATION AND SOFTWARE TECHNOLOGIES, ICIST 2014, 2014, 465 : 236 - 247
- [30] Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study [J]. MODELS IN SOFTWARE ENGINEERING, 2009, 5421 : 303 - +