Achieving model quality through model validation, verification and exploration M Gogolla, F Hilken, KH Doan Computer Languages, Systems & Structures 54, 474-511, 2018 | 55 | 2018 |
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. M Balaban, P Bennett, KH Doan, G Georg, M Gogolla, I Khitron, M Kifer OCL@ MoDELS, 57-72, 2016 | 14 | 2016 |
Extending a UML and OCL tool for meta-modeling: Applications towards model quality assessment KH Doan, M Gogolla Gesellschaft für Informatik eV, 2018 | 8 | 2018 |
Quality improvement of conceptual uml and ocl schemata through model validation and verification M Gogolla, KH Doan Conceptual Modeling Perspectives, 155-168, 2017 | 7 | 2017 |
Quality improvement for UML and OCL models through bad smell and metrics definition KH Doan, M Gogolla 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 6 | 2019 |
Assessing uml model quality by utilizing metrics KH Doan, M Gogolla 2018 11th International Conference on the Quality of Information and …, 2018 | 6 | 2018 |
Checking UML and OCL model behavior with filmstripping and classifying terms M Gogolla, F Hilken, KH Doan, N Desai Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of …, 2017 | 6 | 2017 |
Towards a developer-oriented process for verifying behavioral properties in UML and OCL models KH Doan, M Gogolla, F Hilken Software Technologies: Applications and Foundations: STAF 2016 Collocated …, 2016 | 4 | 2016 |
Developing User and Recording Interfaces for Design Time and Runtime Models. M Gogolla, N Desai, KH Doan, H Bruneliere, R Eramo, A Gomez STAF (Co-Located Events), 39-48, 2019 | 3 | 2019 |
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool. M Gogolla, KH Doan SetVR@ Diagrams, 76-83, 2018 | 2 | 2018 |
Logical reasoning with object diagrams in a UML and OCL tool KH Doan, M Gogolla Diagrammatic Representation and Inference: 10th International Conference …, 2018 | 2 | 2018 |
Discovery the quality of UML models through an exploration of dataset in practice KH Doan, TL Nguyen, MH Tran International Conference on Intelligence of Things, 184-193, 2022 | 1 | 2022 |
Sketching a Model-Based Technique for Integrated Design and Run Time Description: Short Paper-Tool Demonstration A Kästner, M Gogolla, KH Doan, N Desai Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 1 | 2018 |
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment. KH Doan, M Gogolla MoDELS (Satellite Events), 251, 2017 | 1 | 2017 |
Achieving UML and OCL Model Quality by Utilizing Metamodeling KH Doan Universität Bremen, 2020 | | 2020 |
Logic mờ ứng dụng trong hệ thông tin địa lý ĐK Hoàng Trường Đại học Bách Khoa Hà Nội, 2012 | | 2012 |
Sketching a Model-Based Technique for Integrated Design and Run Time Description A Kästner, M Gogolla, KH Doan, N Desai | | |
Gomes, Cláudio 784 Goseva-Popstojanova, Katerina 514 Goulão, Miguel 403 Govindarajan, Ram Prasath 44 J Gray, A Di Sandro, KH Doan, DJ Dobbs, B Doherty, F Durán, S Dutre, ... | | |