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 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