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