Homepage of Duc-Hanh Dang

Publications of the Software Model Engineering Group

Home | Teaching | Publications

[Chu and Dang, 2020]: Minh-Hue Chu and Duc-Hanh Dang. Automatic Extraction of Analysis Classes from Use Cases. Proc. 12nd Int. Conf. Knowledge and Systems Engineering (KSE). IEEE Computer Society 2020. (accepted)

[Le et al., 2020]: Duc Minh Le, Duc-Hanh Dang, and Viet-Ha Nguyen. Generative Software Module Development for Domain-Driven Design with Annotation-Based Domain Specific Language. Information and Software Technology, 120:106239, 2020. ISSN 0950-5849. (SCIE)

[Chu et al., 2019]: Minh-Hue Chu, Duc-Hanh Dang, Ngoc-Binh Nguyen, and Anh-Hoang Truong. USLTG: Test Case Automatic Generation by Transforming Use Cases. Int. Journal of Software Engineering and Knowledge Engineering, 29(9):1313-1345, 2019. ISSN 0218-1940. (SCIE)

[Le et al., 2019]: Duc Minh Le, Duc-Hanh Dang, and Ha Thanh Vu. jDomainApp: A Module-Based Domain-Driven Software Framework. In Ichiro IDE, Michel Toulouse, Huynh Thi Thanh Binh, and Shui Yu editors, Proc. 10th Int. Symp. Information and Communication Technology (SoICT), pages 399-406. ACM 2019. ISBN 978-1-4503-7245-9.

[Nguyen et al., 2019]: Thi-Hanh Nguyen, Duc-Hanh Dang, and Quang-Trung Nguyen. On Analyzing Rule Dependencies to Generate Test Cases for Model Transformations. Proc. 11st Int. Conf. Knowledge and Systems Engineering (KSE), pages 1-6. IEEE Computer Society 2019. ISBN: 978-1-7281-3003-3.

[Chu et al., 2018]: Minh-Hue Chu, Duc-Hanh Dang, Ngoc-Binh Nguyen, and Duc Minh Le. USL: A Domain-Specific Language for Precise Specification of Use Cases and Its Transformations. Informatica, 42(3):325-343, 2018. ISSN 0350-5596. (Scopus)

[Chu et al., 2018]

Minh-Hue Chu, Duc-Hanh Dang, and Ngoc-Binh Nguyen. A Transformation-Based Method for Test Case Automatic Generation from Use Cases. Proc. 10th Int. Conf. Knowledge and Systems Engineering (KSE), pages 252-257. IEEE Computer Society 2018. ISBN 978-1-5386-6113-0.

[Le et al., 2018]: Duc Minh Le, Duc-Hanh Dang, and Viet-Ha Nguyen. On Domain Driven Design Using Annotation-Based Domain Specific Language. Computer Languages, Systems & Structures, 54:199-235, 2018. ISSN 1477-8424. (SCIE)

[Nguyen and Dang, 2018]: Thi-Hanh Nguyen and Duc-Hanh Dang. An Approach for Testing Model Transformations. Proc. 10th Int. Conf. Knowledge and Systems Engineering (KSE), pages 264-269. IEEE Computer Society 2018. ISBN 978-1-5386-6113-0.

[Chu et al., 2017]: Minh-Hue Chu, Duc-Hanh Dang, Ngoc-Binh Nguyen, Minh-Duc Le, and Thi-Hanh Nguyen. USL: Towards Precise Specification of Use Cases for Model-Driven Development. In Marc Bui, Biplab Sikdar, Ichiro IDE, and Huynh Thi Thanh Binh, editors, Proc. 8th Int. Symp. Information and Communication Technology (SoICT), pages 401-408. ACM 2017. ISBN 978-1-4503-5328-1.

[Le et al., 2017]: Duc Minh Le, Duc-Hanh Dang, and Viet-Ha Nguyen. Generative Software Module Development: A Domain-Driven Design Perspective. In Thanh Thuy Nguyen, Anh-Phuong Le, Satoshi Tojo, Le-Minh Nguyen, and Xuan-Hieu Phan, editors, Proc. 9th Int. Conf. Knowledge and Systems Engineering (KSE), pages 77-82. IEEE Computer Society 2017. ISBN 978-1-5386-3576-6.

[Dang et al., 2016]: Duc-Hanh Dang, Anh-Hoang Truong, and Dang Van Hung. On Model Finding with Constraint Patterns. In Hamido Fujita and George Angelos Papadopoulos, editors, Proc. 15th Int. Conf. Intelligent Software Methodologies, Tools and Techniques (SOMET), pages 279-290. FAIA 286, IOS Press 2016. ISBN 978-1-61499-673-6.

[Dang and Gogolla, 2016]: Duc-Hanh Dang and Martin Gogolla. An OCL-based Framework for Model Transformations. VNU Journal of Science: Comp. Science & Com. Eng., 32(1): 42-57, 2016. ISSN 0866-8612. [.pdf]

[Le et al., 2016]: Duc Minh Le, Duc-Hanh Dang, and Viet-Ha Nguyen. Domain-Driven Design Patterns: A Metadata-Based Approach. In Tru Cao and Yo-Sung Ho, editors, Proc. 12th Int. Conf. Computing and Communication Technologies (RIVF), pages 247-252. IEEE Computer Society 2016. ISBN 978-1-5090-4133-6.

[Le et al., 2016]: Duc Minh Le, Duc-Hanh Dang, and Viet-Ha Nguyen. Domain-Driven Design Using Meta-Attributes: A DSL-Based Approach. In Minh Le Nguyen, Le Sy Vinh, Lam Thu Bui, Van-Giang Nguyen, Yew-Soon Ong, and Keiji Hirata, editors, Proc. 8th Int. Conf. Knowledge and Systems Engineering (KSE), pages 67-72, IEEE Computer Society 2016. ISBN 978-1-4673-8929-7.

[Chu et al., 2016]: Minh-Hue Chu, Duc-Hanh Dang, and Nguyen Ngoc Binh. A Method to Specify Software Functional Requirements for System Test Case Generation. In Proc. 9th National Conf. Fundamental and Applied Information Technology Research (FAIR), pages 1-8, 2016. ISBN 978-604-913-472-2.

[Truong et al., 2016]: Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, and Duc-Hanh Dang. Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. In Augusto Sampaio and Farn Wang, editors, Proc. 13th Int. Conf. Theoretical Aspects of Computing (ICTAC), pages 82-99. Springer, LNCS 9965, 2016. ISBN 978-3-319-46749-8.

[Truong et al., 2016]: Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, and Xuan-Tung Vu. A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. In Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida, editors, Proc. 12rd Int. Conf. Distributed Computing and Internet Technology (ICDCIT), pages 157-168. Springer, LNCS 9581, 2016. ISBN 978-3-319-28033-2.

[Chu et al., 2015]: Minh-Hue Chu, Duc-Hanh Dang, and Nguyen Ngoc Binh. A Method to Generate Test Cases from Use Cases. In Proc. 8th National Conf. Fundamental and Applied Information Technology Research (FAIR), pages 590-599, 2015. ISBN 978-604-913-397-8.

[Dang and Cabot, 2014]: Duc-Hanh Dang and Jordi Cabot. On Automating Inference of OCL Constraints from Counterexamples and Examples. In Viet-Ha Nguyen, Anh-Cuong Le, and Van-Nam Huynh, editors, Proc. 6th Int. Conf. on Knowledge and Systems Engineering (KSE), pages 219-231. AISC 326, Springer 2015.

[Nguyen and Dang, 2014]: Khoa-Hai Nguyen and Duc-Hanh Dang. RTL: A Tool for Precise Model Transformations. In Proc. Int. Conf. Advanced Computing and Applications (ACOMP). Journal of Science and Technology, 52(4A): 230-239, 2014. ISSN 0866-708X.

[Dang and Cabot, 2013]: Duc-Hanh Dang and Jordi Cabot. Automating Inference of OCL Business Rules from User Scenarios. In Pornsiri Muenchaisri and Gregg Rothermel, editors, Proc. 20th Asia-Pacific Conf. Software Engineering (APSEC), pages 156-163. IEEE Computer Society 2013.

[Dang and Gogolla, 2012]: Duc-Hanh Dang and Martin Gogolla. An Approach for Quality Assurance of Model Transformations. In Dang Van Hung, Jeff Sender, Hung Trung Vo, Son Bao Pham, and Thu Lam Bui editors, Proc. 4th Int. Conf. Knowledge and Systems Engineering (KSE), pages 223-230. IEEE Computer Society 2012.

[Dang et al., 2010a]: Duc-Hanh Dang, Martin Gogolla, and Anh-Hoang Truong. Checking the Conformance Between Models Based on Scenario Synchronization. Journal of Universal Computer Science, 16(17):2293-2312, 2010. ISSN 0948-695x. (SCIE)

[Dang et al., 2010b]: Duc-Hanh Dang, Anh-Hoang Truong, and Martin Gogolla. On Scenario Synchronization. In Ahmed Bouajjani and Wei-Ngan Chin, editors, Proc. 8th Int. Symp. Automated Technology for Verification and Analysis (ATVA), pages 97-111. Springer, LNCS 6252, 2010. [.ps]

[Dang 2009]: Duc-Hanh Dang. On Integrating Triple Graph Grammars and OCL for Model-Driven Development. PhD thesis, University of Bremen, 2009.

[Dang and Gogolla, 2009]: Duc-Hanh Dang and Martin Gogolla. Precise Model-Driven Transformations Based on Graphs and Metamodels. In Dang Van Hung and Padmanabhan Krishnan, editors, Proc. 7th Int. Conf. Software Engineering and Formal Methods (SEFM), pages 307-316. IEEE Computer Society 2009. [.ps]

[Dang and Gogolla, 2008]: Duc-Hanh Dang and Martin Gogolla. On Integrating OCL and Triple Graph Grammars. In M.R.V Chaudron, editor, Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages and Systems , pages 307-316. Springer, LNCS 5421, 2008. [.ps]

[Dang, 2008]: Duc-Hanh Dang. Triple Graph Grammars and OCL for Validating System Behavior. In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, and Gabriele Taentzer, editors, Proc. 4th Int. Conf. Graph Transformations (ICGT), pages 481-483. Springer, LNCS 5214, 2008. [.ps]

[Mustafa et al., 2008]: Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, and Stefan Kowski. Implementing Advanced RBAC Administration Functionality with USE. In Electronic Communications of the EASST, 15:1-17, 2008. ISSN 1863-2122. [.pdf] (Scopus)

[Dang, 2007]: Duc-Hanh Dang. Validation of System Behavior Utilizing an Integrated Semantics of Use Case and Design Models. In Claudia Pons, editor, Proc. Doctoral Symp. at 10th Int. Conf. Model-Driven Engineering Languages and Systems (MoDELS), pages 1-5. CEUR, Vol. 262, 2007. [.ps]

[Dang et al., 2007]: Duc-Hanh Dang, Martin Gogolla, and Fabian Büttner. From UML Activity Diagrams to CSP Processes: Realizing Graph Transformations in the UML and OCL Tool USE. Tool Contest, 3rd Int. Conf. Applications of Graph Transformation with Industrial Relevance (AGTIVE), pages 1-25, 2007. [.pdf]

[Gogolla et al., 2007]: Martin Gogolla, Fabian Büttner, and Duc-Hanh Dang. From Graph Transformation to OCL using USE. In Andy Schürr, Manfred Nagl, and Albert Zündorf, editors, Proc. 3rd Int. Conf. Applications of Graph Transformation with Industrial Relevance (AGTIVE), pages 585-586. Springer, LNCS 5088, 2008. [.ps]