共 50 条
- [2] Static generation of UML sequence diagrams [J]. International Journal on Software Tools for Technology Transfer, 2021, 23 : 31 - 53
- [3] StaticGen: Static Generation of UML Sequence Diagrams [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2017, 2017, 10202 : 173 - 190
- [4] Validation of UML static diagrams using B [J]. SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2005, : 915 - 920
- [5] Empirical validation of metrics for UML statechart diagrams [J]. ENTERPRISE INFORMATION SYSTEMS V, 2004, : 101 - 108
- [6] Logical Reasoning with Object Diagrams in a UML and OCL Tool [J]. DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2018, 2018, 10871 : 774 - 778
- [8] Making UML activity diagrams object-oriented [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 288 - 299
- [9] Using UML collaboration diagrams for static checking and test generation [J]. UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: ADVANCING THE STANDARD, 2000, 1939 : 383 - 395
- [10] Multiview Similarity Assessment Technique of UML Diagrams [J]. 4TH INFORMATION SYSTEMS INTERNATIONAL CONFERENCE (ISICO 2017), 2017, 124 : 311 - 318