Items where Author is "Dang, Duc Hanh"

Article

Nguyen, Ngoc Khai and Truong, Anh Hoang and Dang, Duc Hanh (2021) Estimate the memory bounds required by shared variables in software transactional memory programs. VNU Journal of Science: Computer Science and Communication Engineering, 37 (2). pp. 1-19. ISSN 2588-1086

Le, Minh Duc and Dang, Duc Hanh and Nguyen, Viet Ha (2020) Generative Software Module Development for Domain-Driven Design with Annotation-Based Domain Specific Language. Information and Software Technology, 120 . pp. 1-32. ISSN 0950-5849

Chu, Minh Hue and Dang, Duc Hanh and Nguyen, Ngoc Binh and Truong, Anh Hoang (2019) USLTG: Test Case Automatic Generation by Transforming Use Cases. International journal of software engineering and knowledge engineering (IJSEKE), 29 (9). pp. 1313-1345. ISSN 0218-1940

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

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

Dang, Duc Hanh and Gogolla, Martin (2016) An OCL-based Framework for Model Transformations. VNU Journal of Computer Science and Communication Engineering, 32 (1). pp. 42-57. ISSN 0866-8612

Nguyen, Khoa Hai and Dang, Duc Hanh (2014) RTL: A Tool for Precise Model Transformations. Journal of Science and Technology, 52 (4A). pp. 230-239. ISSN 1859-3585

Chu, Minh Hue and Dang, Duc Hanh (2011) A Domain Specific Language for the RBAC Domain. Tạp chí Nghiên cứu Khoa học & Công nghệ Quân sự, 12 (16). pp. 163-168. ISSN 1859-1043

Dang, Duc Hanh and Truong, Anh Hoang and Gogolla, Martin (2010) Checking the Conformance between Models Based on Scenario Synchronization. Journal of Universal Computer Science, 16 (17). pp. 2293-2312. ISSN 0948-695x

Mustafa, Tanveer and Sohr, Karsten and Dang, Duc Hanh and Drouineaud, Michael and Kowski, Stefan (2008) Implementing Advanced RBAC Administration Functionality with USE. ECEASST, 15 . ISSN 1863-2122

Nguyen, Ngoc Khai and Truong, Anh Hoang and Dang, Duc Hanh Estimate the memory bounds required by shared variables in software transactional memory programs", ID 280. VNU Journal of Science: Computer Science and Communication Engineering . ISSN 2588-1086

Technical Report

Pham, Nguyen Hoang and Luong, Ngoc Huyen and Nguyen, Thi Hanh and Dang, Duc Hanh (2018) Integrating a Testing Technique into the RTL Tool. Technical Report. VNU University of Engineering and Technology.

Conference or Workshop Item

Nguyen, Thi-Hanh and Dang, Duc Hanh (2021) A Graph Analysis Based Approach for Specification-Driven Testing of Model Transformations. In: The 8th NAFOSTED Conference on Information and Computer Science (NICS 2021), Dec. 21-22, 2021. (In Press)

Nguyen, Duc-Hieu and Le, Van-Vinh and Nguyen, Thi-Hanh and Dang, Duc Hanh (2021) A Method to Ensure Compliance with Attribute and Role Based Access Control Policy for Executing BPMN Models. In: ICSSE: the 2021 International Conference on System Science and Engineering.

Chu, Minh Hue and Dang, Duc Hanh (2020) Automatic Extraction of Analysis Classes from Use Cases. In: Proc. 12nd Int. Conf. Knowledge and Systems Engineering (KSE).

Nguyen, Thi Hanh and Dang, Duc Hanh and Nguyen, Quang Trung (2019) On Analyzing Rule-Dependencies to Generate Test Cases for Model Transformations. In: KSE: the 2019 International Conference on Knowledge and Systems Engineering, 2019, Vietnam.

Le, Minh Duc and Dang, Duc Hanh and Vu, Thanh Ha (2019) jDomainApp: A Module-Based Domain-Driven Software Framework. In: SoICT 2019: 10th International Symposium on Information and Communications, December 2019, Ha Long Bay.

Chu, Minh Hue and Dang, Duc Hanh and Nguyen, Ngoc Binh (2018) A Transformation-Based Method for Test Case Automatic Generation from Use Cases. In: KSE: the 2018 International Conference on Knowledge and Systems Engineering, 2018, Vietnam.

Nguyen, Thi Hanh and Dang, Duc Hanh (2018) An Approach for Testing Model Transformations. In: The 2018 International Conference on Knowledge and Systems Engineering (KSE), 2018, Vietnam.

Le, Minh Duc and Dang, Duc Hanh and Nguyen, Viet Ha (2017) Generative Software Module Development: A Domain-Driven Design Perspective. In: The 9th International Conference on Knowledge and Systems Engineering (KSE), 19-21 October 2017, Hue, Vietnam. (In Press)

Chu, Minh Hue and Dang, Duc Hanh and Nguyen, Ngoc Binh and Le, Minh Duc and Nguyen, Thi Hanh (2017) USL: Towards Precise Specification of Use Cases for Model-Driven Development. In: 8th International Symposium on Information and Communications (SoICT), December 2017, Nha Trang.

Le, Minh Duc and Dang, Duc Hanh and Nguyen, Viet Ha (2016) Domain-Driven Design Using Meta-Attributes: A DSL-Based Approach. In: The 8th International Conference on Knowledge and Systems Engineering (KSE), 6-8 October 2016, Hanoi, Vietnam.

Chu, Thi Minh Hue and Nguyen, Ngoc Binh and Dang, Duc Hanh (2016) Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa miền chuyên biệt. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Truong, Anh Hoang and Nguyen, Ngoc Khai and Dang, Van Hung and Dang, Duc Hanh (2016) Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. In: 13th International Conference on Theoretical Aspects of Computing (ICTAC).

Le, Minh Duc and Dang, Duc Hanh and Nguyen, Viet Ha (2016) Domain-Driven Design Patterns: A Metadata-Based Approach. In: 12th International Conference on Computing and Communication Technologies (RIVF), 7-9 November 2016, Hanoi, Vietnam.

Chu, Minh Hue and Dang, Duc Hanh and Nguyen, Ngoc Binh (2016) A Method to Specify Software Functional Requirements for System Test Case Generation. In: The 9th National Conference on Fundamental and Applied Information Technology Research (FAIR), 8 October 2016, Can Tho, Vietnam.

Dang, Duc Hanh and Truong, Anh Hoang and Dang, Van Hung (2016) On Model Finding with Constraint Patterns. In: Proc. 5th Int. Conf. on New Trends in Software Methodologies, Tools and Technique (SoMeT).

Truong, Anh Hoang and Dang, Van Hung and Dang, Duc Hanh and Vu, Xuan Tung (2016) A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. In: 12th International Conference on Distributed Computing and Internet Technology (ICDCIT).

Chu, Thi Minh Hue and Dang, Duc Hanh and Nguyen, Ngoc Binh (2015) Phương pháp sinh tự động ca kiểm thử từ mô hình ca sử dụng(Automatic Generation of Test Cases based on Use Cases Model). In: Hội nghị khoa học quốc gia lần thứ VIII “Nghiên cứu cơ bản và ứng dụng Công nghệ Thông tin” năm 2015 (FAIR 2015), 9-10 July 2015, Hanoi, Vietnam.

Chu, Minh Hue and Dang, Duc Hanh and Nguyen, Ngoc Binh (2015) A Method to Generate Test Cases from Use Cases. In: 8th National Conference on Fundamental and Applied Information Technology Research (FAIR), 7-10 July 2015, Hanoi, Vietnam.

Dang, Duc Hanh and Cabot, Jordi (2014) On Automating Inference of OCL Constraints from Counterexamples and Examples. In: 2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014), 9-11 October 2014, Hanoi, Vietnam.

Nguyen, Khoa Hai and Dang, Duc Hanh (2014) RTL: A Tool for Precise Model Transformations. In: 2014: International Conference on Advanced Computing and Applications (ACOMP), 19-21 November 2014, Ho Chi Minh City, Vietnam.

Dang, Duc Hanh and Cabot, Jordi (2013) Automating Inference of OCL Business Rules from User Scenarios. In: 2013: the 20th Asia-Pacific Software Engineering Conference (APSEC 2013), 2-5 December 2015, Bangkok, Thailand.

Dang, Duc Hanh and Gogolla, M. (2012) An Approach for Quality Assurance of Model Transformations. In: 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE), 17-19 August 2012, Danang, Vietnam.

Dang, Duc Hanh and Truong, Anh Hoang and Gogolla, Martin (2010) On Scenario Synchronization. In: 8th International Conference on Automated Technology for Verification and Analysis (ATVA).

Dang, Duc Hanh and Gogolla, Martin (2009) Precise Model-Driven Transformations Based on Graphs and Metamodels. In: The 7th International Conference on Software Engineering and Formal Methods (SEFM), 2009.

Dang, Duc Hanh and Gogolla, Martin (2008) On Integrating OCL and Triple Graph Grammars. In: International Conference on Models in Software Engineering (MODELS), 2008.

Dang, Duc Hanh (2008) Triple Graph Grammars and OCL for Validating System Behavior. In: The 4th International Conference on Graph Transformations (ICGT), 2008.

Gogolla, Martin and Dang, Duc Hanh and Fabian, Buttner (2007) From Graph Transformation to OCL Using USE. In: The 3rd International Conference on Applications of Graph Transformations with Industrial Relevance (AGTIVE), 2007.

Varró, Dániel and Asztalos, Márk and Bisztray, Dénes and Boronat, Artur and Dang, Duc Hanh and Geiß, Rubino and Greenyer, Joel and Gorp, Pieter Van and Kniemeyer, Ole and Narayanan, Anantha and Rencis, Edgars and Weinell, Erhard (2007) Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. In: The 3rd International Conference on Applications of Graph Transformations with Industrial Relevance (AGTIVE), 2007.

Dang, Duc Hanh (2007) Validation of System Behavior from an Integrated Semantics of Use Case and Design Models. In: The 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS/Doctoral Symposium), 2007.

Nguyen, Van Vy and Dang, Duc Hanh (2003) A Design Pattern of the Layer Interacting with Relational Databases in Object-Oriented Systems. In: National Conference on Information Technology, 2003, Vietnam.

Thesis

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