Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09

10.1145/1656485 ◽

2009 ◽

Keyword(s):

International Workshop ◽

Verification And Validation ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

A verification and validation process for model-driven engineering

Progress in Flight Dynamics, Guidance, Navigation, Control, Fault Detection, and Avionics ◽

10.1051/eucass/201306455 ◽

2013 ◽

Cited By ~ 2

Author(s):

R. Delmas ◽

A. F. Pires ◽

T. Polacsek

Keyword(s):

Verification And Validation ◽

Model Driven Engineering ◽

Validation Process ◽

Model Driven

Download Full-text

2010 Workshop on Model-Driven Engineering, Verification, and Validation

10.1109/modevva18946.2010 ◽

2010 ◽

Keyword(s):

Verification And Validation ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa’21)

10.1109/models-c53483.2021.00043 ◽

2021 ◽

Author(s):

Saad Bin Abid ◽

Raquel Oliveira ◽

Iulian Ober

Keyword(s):

Verification And Validation ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69073-3_16 ◽

2008 ◽

pp. 145-150

Author(s):

Benoit Baudry ◽

Alain Faivre ◽

Sudipto Ghosh ◽

Alexander Pretschner

Keyword(s):

International Workshop ◽

Verification And Validation ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa

10.1145/2095654 ◽

2011 ◽

Keyword(s):

International Workshop ◽

Verification And Validation ◽

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