Duc-Hanh Dang
Duc-Hanh Dang
Verified email at vnu.edu.vn - Homepage
TitleCited byYear
Transformation of UML models to CSP: A case study for graph transformation tools
D Varró, M Asztalos, D Bisztray, A Boronat, DH Dang, R Geiß, J Greenyer, ...
International Symposium on Applications of Graph Transformations with …, 2007
On integrating ocl and triple graph grammars
DH Dang, M Gogolla
International Conference on Model Driven Engineering Languages and Systems …, 2008
Precise model-driven transformations based on graphs and metamodels
DH Dang, M Gogolla
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
From graph transformation to ocl using use
M Gogolla, F Büttner, DH Dang
International Symposium on Applications of Graph Transformations with …, 2007
Domain-driven design using meta-attributes: a DSL-based approach
DM Le, DH Dang, VH Nguyen
2016 Eighth International Conference on Knowledge and Systems Engineering …, 2016
Checking the Conformance between Models Based on Scenario Synchronization.
DH Dang, AH Truong, M Gogolla
J. UCS 16 (17), 2293-2312, 2010
Triple Graph Grammars and OCL for Validating System Behavior
DH Dang
International Conference on Graph Transformation, 481-483, 2008
Domain-driven design patterns: A metadata-based approach
DM Le, DH Dang, VH Nguyen
2016 IEEE RIVF International Conference on Computing & Communication …, 2016
An OCL-Based Framework for Model Transformations
DH Dang, M Gogolla
VNU Journal of Science: Computer Science and Communication Engineering 32 (1), 2016
Validation of System Behavior Utilizing an Integrated Semantics of Use Case and Design Models
DH Dang
Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International …, 2007
A type system for counting logs of multi-threaded nested transactional programs
AH Truong, D Van Hung, DH Dang, XT Vu
International Conference on Distributed Computing and Internet Technology …, 2016
Automating inference of ocl business rules from user scenarios
DH Dang, J Cabot
2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 156-163, 2013
Implementing advanced RBAC administration functionality with USE
T Mustafa, K Sohr, DH Dang, M Drouineaud, S Kowski
Electronic Communications of the EASST 15, 2008
Generative software module development: A domain-driven design perspective
DM Le, DH Dang, VH Nguyen
2017 9th International Conference on Knowledge and Systems Engineering (KSE …, 2017
An approach for quality assurance of model transformations
DH Dang, M Gogolla
2012 Fourth International Conference on Knowledge and Systems Engineering …, 2012
USL: Towards Precise Specification of Use Cases for Model-Driven Development
MH Chu, DH Dang, NB Nguyen, MD Le, TH Nguyen
Proceedings of the Eighth International Symposium on Information and …, 2017
Calculating statically maximum log memory used by multi-threaded transactional programs
AH Truong, NK Nguyen, D Van Hung, DH Dang
International Colloquium on Theoretical Aspects of Computing, 82-99, 2016
On Automating Inference of OCL Constraints from Counterexamples and Examples
DH Dang, J Cabot
Knowledge and Systems Engineering, 219-231, 2015
On integrating triple graph grammars and OCL for model-driven development.
DH Dang
University of Bremen, 2009
From UML Activity Diagrams to CSP Processes: Realizing Graph Transformations in the UML and OCL Tool USE
DH Dang, M Gogolla, F Büttner
AGTIVE 2007 Tool Contest, 3rd International Workshop and Symposium on …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20