共 50 条
- [31] Optimizing UML Class Diagrams 7TH SEMINAR ON INDUSTRIAL CONTROL SYSTEMS: ANALYSIS, MODELING AND COMPUTING (ICS 2018), 2018, 18
- [32] Querying UML Class Diagrams FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 1 - 25
- [35] Reasoning with UML class diagrams 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
- [36] Formalization of the UML Class Diagrams EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
- [37] Language issues in generating simulations from specifications PROCEEDINGS OF THE FOURTH IASTED INTERNATIONAL CONFERENCE ON MODELLING, SIMULATION, AND OPTIMIZATION, 2004, : 281 - 286
- [38] Deriving operation contracts from UML class diagrams MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4735 : 196 - +
- [40] 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