共 50 条
- [21] Reasoning with UML class diagrams 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
- [22] Formalization of the UML Class Diagrams EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
- [23] Translation UML diagrams into Verilog 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 267 - 271
- [24] On better understanding UML diagrams through interactive three-dimensional visualization and animation Proceedings of the Workshop on Advanced Visual Interfaces, 2000, : 292 - 295
- [25] UML interaction diagrams:: Correct translation of sequence diagrams into collaboration diagrams APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2003, 3062 : 275 - 291
- [26] Diagram Size vs. Layout Flaws: erstanding Quality Factors of UML Diagrams ESEM'16: PROCEEDINGS OF THE 10TH ACM/IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT, 2016,
- [27] Analyzing UML Activity and Component Diagrams An Approach based on COSMIC Functional Size Measurement ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2013, : 36 - 44
- [28] Formalization of UML statechart diagrams in the π-calculus 2001 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 213 - 223
- [29] Behavioral consistency validation of UML diagrams FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 118 - 125
- [30] Timing analysis of UML sequence diagrams UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 661 - 674