共 50 条
- [23] Building UML models collaboratively WEBIST 2006: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES: SOCIETY, E-BUSINESS AND E-GOVERNMENT / E-LEARNING, 2006, : 106 - 111
- [24] More meaningful UML models 37TH INTERNATIONAL CONFERENCE ON TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, : 146 - 157
- [25] Typechecking UML static models UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 503 - 517
- [26] Forward engineering and UML: From UML static models to Eiffel code ISSUES AND TRENDS OF INFORMATION TECHNOLOGY MANAGEMENT IN CONTEMPORARY ORGANIZATIONS, VOLS 1 AND 2, 2002, : 584 - 588
- [27] Temporal Interval Modeling for UML Activity Diagrams KEOD: PROCEEDINGS OF THE 8TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL. 2, 2016, : 199 - 203
- [28] UML static models in formal approach BALANCING AGILITY AND FORMALISM IN SOFTWARE ENGINEERING, 2008, 5082 : 129 - 142
- [29] Debugging of Inconsistent UML/OCL Models DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012), 2012, : 1078 - 1083
- [30] Incremental Verification of UML/OCL Models JOURNAL OF OBJECT TECHNOLOGY, 2020, 19 (03): : 1 - 16