Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa 2018, Copenhagen, Denmark)
Résumé
Preface : The 15thWorkshop on Model-Driven Engineering, Verification and Validation(MoDeVVa) was held on October 16th in Copenhagen, Denmark, co-located with the ACM/IEEE 21stInternational Conference on Model-Driven Engineering Languages and Systems (MODELS). Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Thus, the use 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-centric software development to model-centric software development in MDE opens up promising opportunities for the verification and validation (V&V) of software. On the other hand, the growing complexity of models and model transformations requires efficient V&V techniques in the context of MDE. The MoDeVVa workshop offers a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop are to identify, investigate, and discuss topics at the intersection between MDE and V&V.