Khanh-Hoang Doan
Khanh-Hoang Doan
Unknown affiliation
Verified email at - Homepage
Cited by
Cited by
Achieving model quality through model validation, verification and exploration
M Gogolla, F Hilken, KH Doan
Computer Languages, Systems & Structures 54, 474-511, 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
Extending a UML and OCL tool for meta-modeling: Applications towards model quality assessment
KH Doan, M Gogolla
Modellierung 2018, 2018
Assessing UML Model Quality by Utilizing Metrics
KH Doan, M Gogolla
2018 11th International Conference on the Quality of Information and†…, 2018
Checking UML and OCL model behavior with filmstripping and classifying terms
M Gogolla, F Hilken, KH Doan, N Desai
International Conference on Tests and Proofs, 119-128, 2017
Quality improvement of conceptual UML and OCL schemata through model validation and verification
M Gogolla, KH Doan
Conceptual Modeling Perspectives, 155-168, 2017
Towards a developer-oriented process for verifying behavioral properties in UML and OCL models
KH Doan, M Gogolla, F Hilken
Federation of International Conferences on Software Technologies†…, 2016
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
Logical reasoning with object diagrams in a UML and OCL tool
KH Doan, M Gogolla
International Conference on Theory and Application of Diagrams, 774-778, 2018
Developing User and Recording Interfaces for Design Time and Runtime Models.
M Gogolla, N Desai, KH Doan
STAF (Co-Located Events), 39-48, 2019
Sketching a Model-Based Technique for Integrated Design and Run Time Description
A Kšstner, M Gogolla, KH Doan, N Desai
Federation of International Conferences on Software Technologies†…, 2018
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool.
M Gogolla, KH Doan
SetVR@ Diagrams, 76-83, 2018
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment.
KH Doan, M Gogolla
MODELS (Satellite Events), 251, 2017
Achieving UML and OCL Model Quality by Utilizing Metamodeling
KH Doan
Universitšt Bremen, 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
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–16