MoDeVVA 2013 - International Workshop on Model-Driven Engineering, Verification and Validation Integrating Verification and Validation in MDE

Models are purposeful abstractions of systems and of their environment. They can be used for understanding complex systems, validating requirements, for simulation or automatic code generation. The shift from code or technical artifacts to software models is a key feature of MDE which opens perspectives for the formalization and the automation of verification and validation (V&V) tasks, like model-based testing, consistency or refinement conformance checking.
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 2013 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, we would like to put the emphasis on the usability of V&V tools and techniques in the context of MDE, especially on:
leveraging MDE to improve the usability of V&V tools
minimizing the "accidental complexity" of V&V tools
using models and transformations to increase the adoption of formal V&V in practice.