Follow
Khanh-Hoang Doan
Khanh-Hoang Doan
Hanoi University of Mining and Geology
Verified email at informatik.uni-bremen.de - Homepage
Title
Cited by
Cited by
Year
Achieving model quality through model validation, verification and exploration
M Gogolla, F Hilken, KH Doan
Computer Languages, Systems & Structures 54, 474-511, 2018
522018
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
132016
Extending a UML and OCL tool for meta-modeling: Applications towards model quality assessment
KH Doan, M Gogolla
Gesellschaft für Informatik eV, 2018
72018
Quality improvement of conceptual uml and ocl schemata through model validation and verification
M Gogolla, KH Doan
Conceptual Modeling Perspectives, 155-168, 2017
72017
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
62017
Assessing uml model quality by utilizing metrics
KH Doan, M Gogolla
2018 11th International Conference on the Quality of Information and …, 2018
52018
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
42019
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
42016
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
32019
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool.
M Gogolla, KH Doan
SetVR@ Diagrams, 76-83, 2018
22018
Logical reasoning with object diagrams in a UML and OCL tool
KH Doan, M Gogolla
Diagrammatic Representation and Inference: 10th International Conference …, 2018
22018
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
12022
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
12018
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment.
KH Doan, M Gogolla
MoDELS (Satellite Events), 251, 2017
12017
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, ...
The system can't perform the operation now. Try again later.
Articles 1–18