Formal Model-Driven Engineering: Generating Data and Behavioural Components

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.105.8 ◽

2012 ◽

Vol 105 ◽

pp. 100-117

Author(s):

Chen-Wei Wang ◽

Jim Davies

Keyword(s):

Formal Model ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach

14th Asia-Pacific Software Engineering Conference (APSEC'07) ◽

10.1109/aspec.2007.121 ◽

2007 ◽

Author(s):

Di Wu ◽

Jie Chen ◽

Flavio Oquendo

Keyword(s):

Formal Model ◽

Distributed Simulation ◽

Model Driven Engineering ◽

Specific Approach ◽

Model Driven ◽

Domain Specific ◽

Simulation Systems

Download Full-text

Formal model-driven engineering of critical information systems

Science of Computer Programming ◽

10.1016/j.scico.2014.11.004 ◽

2015 ◽

Vol 103 ◽

pp. 88-113 ◽

Cited By ~ 7

Author(s):

Jim Davies ◽

David Milward ◽

Chen-Wei Wang ◽

James Welch

Keyword(s):

Information Systems ◽

Formal Model ◽

Model Driven Engineering ◽

Critical Information ◽

Model Driven

Download Full-text

Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach

14th Asia-Pacific Software Engineering Conference (APSEC'07) ◽

10.1109/apsec.2007.59 ◽

2007 ◽

Author(s):

Di Wu ◽

Jie Chen ◽

Flavio Oquendo

Keyword(s):

Formal Model ◽

Distributed Simulation ◽

Model Driven Engineering ◽

Specific Approach ◽

Model Driven ◽

Domain Specific ◽

Simulation Systems

Download Full-text

Research on the Model Transformation Method and Application of Formal Model Driven Engineering (FMDE)

10.1007/978-981-16-7443-3_14 ◽

2021 ◽

pp. 234-254

Author(s):

Ya Liu ◽

Jinyun Xue ◽

Zhiheng Zhang ◽

Yang Liu ◽

Hongwen Hu

Keyword(s):

Model Transformation ◽

Formal Model ◽

Transformation Method ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

Formal Model-Driven Engineering: Generating Data and Behavioral Components

Model-Driven Engineering of Information Systems ◽

10.1201/b17480-6 ◽

2014 ◽

pp. 141-172

Author(s):

Chen-Wei Wang ◽

Jim Davies

Keyword(s):

Formal Model ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

Formal Model-Driven Engineering: Generating Data and Behavioral Components

Model-Driven Engineering of Information Systems ◽

10.1201/b17480-10 ◽

2014 ◽

pp. 161-192

Keyword(s):

Formal Model ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

Generating Graphical User Interfaces Based on Model Driven Engineering

International Review on Computers and Software (IRECOS) ◽

10.15866/irecos.v10i5.6303 ◽

2015 ◽

Vol 10 (5) ◽

pp. 520 ◽

Cited By ~ 1

Author(s):

Sarra Roubi ◽

Mohammed Erramdani ◽

Samir Mbarki

Keyword(s):

User Interfaces ◽

Graphical User Interfaces ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

10.1145/3365438 ◽

2020 ◽

Keyword(s):

Model Driven Engineering ◽

International Conference ◽

Model Driven ◽

Ieee International Conference

Download Full-text

Foreword: Quality in model driven engineering

2012 Eighth International Conference on the Quality of Information and Communications Technology ◽

10.1109/quatic.2012.77 ◽

2012 ◽

Author(s):

Vasco Amaral

Keyword(s):

Model Driven Engineering ◽

Model Driven

Download Full-text

Model-driven Engineering for High-Performance Computing Applications

Modeling Simulation and Optimization - Focus on Applications ◽

10.5772/8969 ◽

2010 ◽

Cited By ~ 5

Author(s):

David Lugato ◽

Jean-Michel Bruel ◽

Ileana Ober

Keyword(s):

High Performance Computing ◽

High Performance ◽

Model Driven Engineering ◽

Model Driven ◽

Performance Computing

Download Full-text