共 50 条
- [21] Querying UML Class Diagrams [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 1 - 25
- [24] Reasoning with UML class diagrams [J]. 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113
- [25] Formalization of the UML Class Diagrams [J]. EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, 69 : 180 - 192
- [27] Tool-supported Refactoring for Java']Java Script [J]. ACM SIGPLAN NOTICES, 2011, 46 (10) : 119 - 137
- [28] A Tool-Supported Compliance Process for Software Systems [J]. 2017 11TH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2017, : 66 - 76
- [29] TOOL-SUPPORTED LEGAL RISK MANAGEMENT: A ROADMAP [J]. EUROPEAN JOURNAL OF LEGAL STUDIES, 2010, 2 (03): : 146 - 167
- [30] Composition inference for UML class diagrams [J]. Automated Software Engineering, 2007, 14 : 179 - 213