MoDeVVa 2014
Date: Sep 30, 2014 1:00 am – Sep 30, 2014 10:00 am
Location: Valencia, Spain
MoDeVVa 2014 - 11th edition
Model-Driven Engineering, Verification, and Validation
Integrating Verification and Validation in MDE
A satellite event of MODELS 2014
September 30th, Valencia, Spain
http://wwwdi.supelec.fr/modevva/
Models are purposeful abstractions of systems and of their environment. They can be applied at arbitrary abstraction levels for understanding complex systems, validating requirements, simulation or automatic code generation. Thus, the usage of models is of increasing importance for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations. The shift from code or technical artifacts to software models is a key feature of MDE which opens promising perspectives for the formalization and the automation of verification and validation (V&V) tasks, like testing, consistency or refinement conformance checking and so on. On the other hand, the growing complexity of models and of model transformations requires efficient techniques for V&V in the context of MDE. The 2014 edition of the workshop on model-driven engineering, verification, and validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop are to identify, discuss, and elaborate mutual impacts of MDE and V&V. This year, following the keynote presentation given by Marsha Chechik in the 2013 edition, we would like to put a special focus on modeling and reasoning in the presence of incompleteness, underspecification and the unknown.
Submitted by Anonymous
on
MoDeVVa 2014 - 11th edition
Model-Driven Engineering, Verification, and Validation
Integrating Verification and Validation in MDE
A satellite event of MODELS 2014
September 30th, Valencia, Spain
http://wwwdi.supelec.fr/modevva/
Models are purposeful abstractions of systems and of their environment. They can be applied at arbitrary abstraction levels for understanding complex systems, validating requirements, simulation or automatic code generation. Thus, the usage of models is of increasing importance for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations. The shift from code or technical artifacts to software models is a key feature of MDE which opens promising perspectives for the formalization and the automation of verification and validation (V&V) tasks, like testing, consistency or refinement conformance checking and so on. On the other hand, the growing complexity of models and of model transformations requires efficient techniques for V&V in the context of MDE. The 2014 edition of the workshop on model-driven engineering, verification, and validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop are to identify, discuss, and elaborate mutual impacts of MDE and V&V. This year, following the keynote presentation given by Marsha Chechik in the 2013 edition, we would like to put a special focus on modeling and reasoning in the presence of incompleteness, underspecification and the unknown.