共 50 条
- [1] Empirical validation of metrics for UML statechart diagrams ENTERPRISE INFORMATION SYSTEMS V, 2004, : 101 - 108
- [2] Formalization of UML statechart diagrams in the π-calculus 2001 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 213 - 223
- [3] An Integrated Environment for Communicating UML Statechart Diagrams 3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, 2005,
- [4] From a B specification to UML StateChart diagrams FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 511 - 522
- [7] Consistency checking of behavioural modeling in UML statechart diagrams INFORMATION MODELLING AND KNOWLEDGE BASES XIV, 2003, 94 : 152 - 169
- [8] An approach for reversely generating hierarchical UML statechart diagrams FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, PROCEEDINGS, 2006, 4223 : 434 - 437
- [10] Automating the synthesis of UML StateChart diagrams from multiple collaboration diagrams UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 132 - 147