Duc-Hanh Dang

Van-Vinh Le

Inf. Softw. Technol., November, 2023

TC4MT: A Specification-Driven Testing Framework for Model Transformations.

[BibT_eX]

[DOI]

Thi-Hanh Nguyen

Int. J. Softw. Eng. Knowl. Eng., June, 2023

On Automatic Generation of Executable Domain Models for Domain-Driven Design.

[BibT_eX]

[DOI]

Van-Vinh Le

Nghia-Trong Be

Proceedings of the 15th International Conference on Knowledge and Systems Engineering, 2023

2022

Finding Memory Bound of Cloned Objects in Software Transactional Memory Programs.

[BibT_eX]

[DOI]

Ngoc-Khai Nguyen

Int. J. Softw. Eng. Knowl. Eng., 2022

2021

A Method to Ensure Compliance with Attribute and Role Based Access Control Policy for Executing BPMN Models.

[BibT_eX]

[DOI]

Proceedings of the International Conference on System Science and Engineering, 2021

2020

Generative software module development for domain-driven design with annotation-based domain specific language.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2020

Automatic Extraction of Analysis Class Diagrams from Use Cases.

[BibT_eX]

[DOI]

Minh-Hue Chu

Proceedings of the 12th International Conference on Knowledge and Systems Engineering, 2020

2019

USLTG: Test Case Automatic Generation by Transforming Use Cases.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2019

jDomainApp: A Module-Based Domain-Driven Software Framework.

[BibT_eX]

[DOI]

Ha Thanh Vu

Proceedings of the Tenth International Symposium on Information and Communication Technology, 2019

On Analyzing Rule-Dependencies to Generate Test Cases for Model Transformations.

[BibT_eX]

[DOI]

Thi-Hanh Nguyen

Quang-Trung Nguyen

Proceedings of the 11th International Conference on Knowledge and Systems Engineering, 2019

2018

USL: A Domain-Specific Language for Precise Specification of Use Cases and Its Transformations.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2018

On domain driven design using annotation-based domain specific language.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2018

An approach for testing model transformations.

[BibT_eX]

[DOI]

Thi-Hanh Nguyen

Proceedings of the 10th International Conference on Knowledge and Systems Engineering, 2018

A Transformation-Based Method for Test Case Automatic Generation from Use Cases.

[BibT_eX]

[DOI]

Chu Thi Minh Hue

Nguyen Ngoc Binh

Proceedings of the 10th International Conference on Knowledge and Systems Engineering, 2018

2017

USL: Towards Precise Specification of Use Cases for Model-Driven Development.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017

Generative software module development: A domain-driven design perspective.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Knowledge and Systems Engineering, 2017

2016

On Model Finding with Constraint Patterns.

[BibT_eX]

[DOI]

Dang Van Hung

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

Domain-driven design patterns: A metadata-based approach.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE RIVF International Conference on Computing & Communication Technologies, 2016

Domain-driven design using meta-attributes: A DSL-based approach.

[BibT_eX]

[DOI]

Proceedings of the 2016 Eighth International Conference on Knowledge and Systems Engineering, 2016

Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

A Type System for Counting Logs of Multi-threaded Nested Transactional Programs.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2016

2014

On Automating Inference of OCL Constraints from Counterexamples and Examples.

[BibT_eX]

[DOI]

Jordi Cabot

Proceedings of the Knowledge and Systems Engineering, 2014

2013

Automating Inference of OCL Business Rules from User Scenarios.

[BibT_eX]

[DOI]

Jordi Cabot

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

An Approach for Quality Assurance of Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

2010

Checking the Conformance between Models Based on Scenario Synchronization.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2010

On Scenario Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

On integrating triple graph grammars and OCL for model-driven development.

[BibT_eX]

[DOI]

PhD thesis, 2009

Precise Model-Driven Transformations Based on Graphs and Metamodels.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

Implementing Advanced RBAC Administration Functionality with USE.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

On Integrating OCL and Triple Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Triple Graph Grammars and OCL for Validating System Behavior.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

Validation of System Behavior from an Integrated Semantics of Use Case and Design Models.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems, 2007

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

From Graph Transformation to OCL Using USE.

[BibT_eX]

[DOI]

Fabian Büttner