Khanh-Hoang Doan

According to our database, Khanh-Hoang Doan authored at least 13 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Developing User and Recording Interfaces for Design Time and Runtime Models.

Martin Gogolla, Nisha Desai, Khanh-Hoang Doan

Proceedings of the STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15, 2019

Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition.

Khanh-Hoang Doan, Martin Gogolla

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

Achieving model quality through model validation, verification and exploration.

Martin Gogolla, Frank Hilken, Khanh-Hoang Doan

Comput. Lang. Syst. Struct., 2018

Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration.

Andreas Kästner, Martin Gogolla, Khanh-Hoang Doan, Nisha Desai

Proceedings of the Software Technologies: Applications and Foundations, 2018

Assessing UML Model Quality by Utilizing Metrics.

Khanh-Hoang Doan, Martin Gogolla

Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment.

Khanh-Hoang Doan, Martin Gogolla

Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool.

Martin Gogolla, Khanh-Hoang Doan

Proceedings of International Workshop on Set Visualization and Reasoning (SetVR 2018) co-located with 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018), 2018

Logical Reasoning with Object Diagrams in a UML and OCL Tool.

Khanh-Hoang Doan, Martin Gogolla

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms.

Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai

Proceedings of the Tests and Proofs - 11th International Conference, 2017

Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment.

Khanh-Hoang Doan, Martin Gogolla

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification.

Martin Gogolla, Khanh-Hoang Doan

Proceedings of the Conceptual Modeling Perspectives., 2017

2016

Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models.

Khanh-Hoang Doan, Martin Gogolla, Frank Hilken

Proceedings of the Software Technologies: Applications and Foundations, 2016

A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.

Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016