Software and Systems Model Engineering Lab
Advancing software development through automated software engineering and model-driven design
About SSME LAB
Lab Director
Assoc. Prof. Dang Duc Hanh leads the SSME LAB with extensive expertise in software model engineering and automated software engineering.
Team Composition
Our team brings together academics and researchers from universities, institutes, and research centers, alongside graduate and undergraduate students collaborating on research projects.
Institution
Part of Vietnam National University, University of Engineering and Technology, Faculty of Information Technology.
Our Vision
We are committed to advancing the frontier of software engineering through rigorous research in automated software engineering grounded in software model engineering. Our work bridges the gap between theoretical models and practical software development, creating innovative solutions for the industry.
We focus on creating intelligent, automated approaches to software development that leverage domain-specific languages, model transformations, and AI-driven techniques to improve software quality and development efficiency.
Research Directions
Software Modeling
Design of Domain-Specific Languages (DSLs), Domain-Driven Design (DDD) methodologies, requirements models, and formal semantics frameworks based on logic and graph theory.
Model Transformation
Specification and execution techniques, transformation validation, and artifact generation for efficient model-to-code transformations.
Software Quality Assurance
Automatic test case generation, inter-model consistency checking, and software verification methods including model finding and RBAC constraint checking.
Our Team
Core Members
Assoc. Prof.
Pham Manh Linh
Faculty of Information Technology, University of Engineering and Technology, Vietnam National University, Hanoi
Dr.
Bui Quang Hung
University of Engineering and Technology, Vietnam National University, Hanoi
Dr.
Do Duc Dong
Faculty of Information Technology, University of Engineering and Technology, Vietnam National University, Hanoi
Dr.
Nguyen Thi Hanh
FPT University
Dr.
Chu Thi Minh Hue
Thuyloi University
Dr.
Nguyen Duc Hieu
Academy of Cryptography Techniques
Dr.
Le Van Vinh
Vinh University of Engineering and Technology
Dr.
Le Minh Duc
Swinburne Vietnam Alliance Program
Master’s degree
La Trinh Hoang Viet
National Center for Water Resources Planning and Investigation, Ministry of Agriculture and Environment
Standing Committee
Master’s degree
La Trinh Hoang Viet
Bachelor’s degree
Nguyen Duc Quyen
Lab Contact
Lab Head:
Assoc. Prof. Dang Duc Hanh
Email:
hanhdd@vnu.edu.vn
Institution
VNU-UET-FIT
Vietnam National University
University of Engineering and Technology
Faculty of Information Technology
Publications
Duc Minh Le, Duc-Hanh Dang, and Hieu Dinh Vo
Layered microservices architecture: A multitree-based domain-driven approach
Information and Software Technology•2025•SCIE; IF: 4.3 / Q1
Duc-Hanh Dang, Duc Minh Le, and Van-Vinh Le
AGL: Incorporating behavioral aspects into domain-driven design
Information and Software Technology•2023•SCIE; IF: 3.86 / Q1
Thi-Hanh Nguyen and Duc-Hanh Dang
TC4MT: A Specification-Driven Testing Framework for Model Transformations
International Journal of Software Engineering and Knowledge Engineering•2023•SCIE; IF: 0.9
Thi-Hanh Nguyen and Duc-Hanh Dang
On Integrating Multiple Restriction Domains to Automatically Generate Test Cases of Model Transformations
Informatica•2023•Scopus
Ngoc-Khai Nguyen, Anh-Hoang Truong, and Duc-Hanh Dang
Finding memory bound of cloned objects in software transactional memory programs
International Journal of Software Engineering and Knowledge Engineering•2022•SCIE; IF: 1.0 / Q4
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•2020•SCIE; IF: 2.73 / Q2
Minh-Hue Chu, Duc-Hanh Dang, Ngoc-Binh Nguyen, and Anh-Hoang Truong
USLTG: Test Case Automatic Generation by Transforming Use Cases
International Journal of Software Engineering and Knowledge Engineering•2019•SCIE; IF: 0.88 / Q3
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•2018•Scopus
Duc Minh Le, Duc-Hanh Dang, and Viet-Ha Nguyen
On Domain Driven Design Using Annotation-Based Domain Specific Language
Computer Languages, Systems & Structures•2018•SCIE; IF: 1.71 / Q2
Duc-Hanh Dang, Anh-Hoang Truong, and Martin Gogolla
Checking the Conformance between Models Based on Scenario Synchronization
Journal of Universal Computer Science (J.UCS)•2010•SCIE; IF: 0.57 / Q2
Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, and Stefan Kowski
Implementing Advanced RBAC Administration Functionality with USE
Electronic Communication of the European Association of Software Science and Technology (ECEASST)•2008•Scopus; Q3
Our lab has published over 40 research papers in prestigious international journals and conferences including SCIE-indexed journals with high impact factors.