共 50 条
- [21] QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2022, 2022, 13241 : 310 - 317
- [22] Expressing Measurement Uncertainty in OCL/UML Datatypes MODELLING FOUNDATIONS AND APPLICATIONS (ECMFA 2018), 2018, 10890 : 46 - 62
- [23] Logical Reasoning with Object Diagrams in a UML and OCL Tool DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2018, 2018, 10871 : 774 - 778
- [24] Formal Definition of Measures for UML Statechart Diagrams Using OCL APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 846 - +
- [25] Meta-validation of UML diagrams using OCL rules SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 660 - 666
- [26] Optimizing UML Class Diagrams 7TH SEMINAR ON INDUSTRIAL CONTROL SYSTEMS: ANALYSIS, MODELING AND COMPUTING (ICS 2018), 2018, 18
- [27] Querying UML Class Diagrams FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 1 - 25
- [30] Reasoning with UML class diagrams 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 102 - 113