Khanh-Hoang Doan

14 papers C 1Misc 1Journal 1Unranked 10

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