2008 |
5 | EE | Duc-Hanh Dang:
Triple Graph Grammars and OCL for Validating System Behavior.
ICGT 2008: 481-483 |
4 | EE | Duc-Hanh Dang,
Martin Gogolla:
On Integrating OCL and Triple Graph Grammars.
MoDELS Workshops 2008: 124-137 |
2007 |
3 | EE | Dániel Varró,
Márk Asztalos,
Dénes Bisztray,
Artur Boronat,
Duc-Hanh Dang,
Rubino Geiß,
Joel Greenyer,
Pieter Van Gorp,
Ole Kniemeyer,
Anantha Narayanan,
Edgars Rencis,
Erhard Weinell:
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.
AGTIVE 2007: 540-565 |
2 | EE | Martin Gogolla,
Fabian Büttner,
Duc-Hanh Dang:
From Graph Transformation to OCL Using USE.
AGTIVE 2007: 585-586 |
1 | EE | Duc-Hanh Dang:
Validation of System Behavior from an Integrated Semantics of Use Case and Design Models.
MoDELS (Doctoral Symposium) 2007 |