Software Model Engineering Lab
Advancing software development through automated software engineering and model-driven design
About SME Lab
Lab Director
Assoc. Prof. Duc-Hanh Dang leads the SME Lab with extensive expertise in software model engineering and automated software engineering.
Team Composition
Our team includes 3 Associate Professors and 5 PhD researchers from FIT, along with 12-15 graduate and undergraduate students collaborating on research projects.
Institution
Part of the Vietnam National University - University of Engineering and Technology (VNU-UET), Faculty of Information Technology (FIT)
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
3
Associate Professors
Leading-edge research and mentorship in model engineering and automated software engineering
5
PhD Researchers
Advanced research contributions and project development in cutting-edge areas
12-15
Graduate & Undergraduate Students
PhD, Master's and undergraduate students working on innovative research projects
Lab Contact
Lab Head:
Assoc. Prof. Duc-Hanh Dang
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
Duc-Hanh Dang, Duc Minh Le, and Van-Vinh Le
AGL: Incorporating behavioral aspects into domain-driven design
Thi-Hanh Nguyen and Duc-Hanh Dang
TC4MT: A Specification-Driven Testing Framework for Model Transformations
Thi-Hanh Nguyen and Duc-Hanh Dang
On Integrating Multiple Restriction Domains to Automatically Generate Test Cases of Model Transformations
Ngoc-Khai Nguyen, Anh-Hoang Truong, and Duc-Hanh Dang
Finding memory bound of cloned objects in software transactional memory programs
Duc Minh Le, Duc-Hanh Dang, and Viet-Ha Nguyen
Generative Software Module Development for Domain-Driven Design with Annotation-Based Domain Specific Language
Minh-Hue Chu, Duc-Hanh Dang, Ngoc-Binh Nguyen, and Anh-Hoang Truong
USLTG: Test Case Automatic Generation by Transforming Use Cases
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
Duc Minh Le, Duc-Hanh Dang, and Viet-Ha Nguyen
On Domain Driven Design Using Annotation-Based Domain Specific Language
Duc-Hanh Dang, Anh-Hoang Truong, and Martin Gogolla
Checking the Conformance between Models Based on Scenario Synchronization
Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, and Stefan Kowski
Implementing Advanced RBAC Administration Functionality with USE
Our lab has published over 40 research papers in prestigious international journals and conferences including SCIE-indexed journals with high impact factors.