共 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] Transformations of UML diagrams for reconciliation of requirements INFORMATION SYSTEMS DEVELOPMENT: ADVANCES IN THEORY, PRACTICE, AND EDUCATION, 2005, : 289 - 301
- [24] A framework to specify system requirements using natural interpretation of UML/MARTE diagrams Software & Systems Modeling, 2019, 18 : 11 - 37
- [25] Deriving operation contracts from UML class diagrams MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4735 : 196 - +
- [26] A framework to specify system requirements using natural interpretation of UML/MARTE diagrams SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01): : 11 - 37
- [27] Model Generation with LLMs: From Requirements to UML Sequence Diagrams 32ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2024, 2024, : 291 - 300
- [28] From UML Class Diagrams to Aspect-Oriented Class Diagrams Using Graph Transformation 2013 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2013, : 458 - 463
- [29] Organizing UML class diagrams in layers Enabling Technologies for the New Knowledge Society, 2005, : 39 - 55
- [30] Full Satisfiability of UML Class Diagrams CONCEPTUAL MODELING - ER 2010, 2010, 6412 : 317 - 331