共 50 条
- [1] Analyzing Behavioral Aspects of UML Design Class Models Against Temporal Properties 2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 196 - 201
- [2] Representing temporal information in UML UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 44 - 59
- [3] SLICING OF UML MODELS ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 259 - 262
- [5] The impact of UML 2.0 on existing UML 1.4 models MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 431 - 444
- [6] The impact of UML 2.0 on existing UML 1.4 models Street, J.A. (julie.street@aero.org), 1600, ACM Special Interest Group on Software, SIGSOFT; IEEE Computer Society; Microsoft Corporation; IBM; Digicel Jamaica (Springer Verlag):
- [7] UML/Analyzer: A tool for the instant consistency checking of UML models ICSE 2007: 29th International Conference on Software Engineering, Proceedings, 2007, : 793 - 796
- [8] Automatic Validation of UML Specifications Based on UML Environment Models 2017 4TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING TECHNOLOGIES AND APPLIED SCIENCES (ICETAS), 2017,
- [9] Consistency of UML/SPT models SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 203 - 224