共 50 条
- [1] Supporting the UML State Machine Diagrams at runtime MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2008, 5095 : 338 - 348
- [3] On the verification and validation of UML structural and behavioral diagrams PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER SCIENCE AND TECHNOLOGY, 2006, : 304 - +
- [4] Meta-validation of UML structural diagrams and behavioral diagrams with consistency rules 2003 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS, AND SIGNAL PROCESSING, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2003, : 679 - 683
- [6] Modeling class operations in B:: application to UML behavioral diagrams 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 289 - 296
- [7] Representing security specifications in UML state machine diagrams 10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 : 453 - 458
- [9] UML Miner: a tool for mining UML diagrams 2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 30 - 34
- [10] From UML 2 Sequence Diagrams to State Machines by Graph Transformation JOURNAL OF OBJECT TECHNOLOGY, 2011, 10