Khanh-Hoang Doan

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 13

Top Topics

Model Validation

Modeling Language

Top Venues

Comput. Lang. Syst. Struct.

STAF (Co-Located Events)

Publications

Martin Gogolla, Nisha Desai, Khanh-Hoang Doan
Developing User and Recording Interfaces for Design Time and Runtime Models. STAF (Co-Located Events) (2019)
Khanh-Hoang Doan, Martin Gogolla
Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition. MoDELS (Companion) (2019)
Martin Gogolla, Frank Hilken, Khanh-Hoang Doan
Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54 (2018)
Khanh-Hoang Doan, Martin Gogolla
Assessing UML Model Quality by Utilizing Metrics. QUATIC (2018)
Andreas Kästner, Martin Gogolla, Khanh-Hoang Doan, Nisha Desai
Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration. STAF Workshops (2018)
Khanh-Hoang Doan, Martin Gogolla
Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment. Modellierung (2018)
Martin Gogolla, Khanh-Hoang Doan
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool. SetVR@Diagrams (2018)
Khanh-Hoang Doan, Martin Gogolla
Logical Reasoning with Object Diagrams in a UML and OCL Tool. Diagrams (2018)
Martin Gogolla, Khanh-Hoang Doan
Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification. Conceptual Modeling Perspectives (2017)
Khanh-Hoang Doan, Martin Gogolla
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment. MoDELS (Satellite Events) (2017)
Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. TAP@STAF (2017)
Khanh-Hoang Doan, Martin Gogolla, Frank Hilken
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. STAF Workshops (2016)
Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. OCL@MoDELS (2016)