In conjunction with the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2016

domAin specific Model-based AppRoaches to vErificaTion and validaTiOn

November 25, 2015 (EXTENDED!!)

Authors Notification
December 7, 2015

Camera Ready and Registration
December 18, 2015

Workshop date and Venue
February 19, 2016
Barceló Aran Mantegna Hotel
ROOM: Space 4B


Recent years have witnessed the emergence of domain-specific model based approaches for verification and validations in software development. These approaches are tailored to the specific needs of the domain and use domain knowledge to adapt and customize well-known model based approaches for verification and validation. It is generally agreed that the use of domain-specific solutions are cost effective and can offer vast improvements in assessment of final software product.
The aim this workshop is to investigate different aspects and solutions for model based verification and validation applied into domain- specific environments.
This workshop provides a forum for academia, industry, and the research and development community to share their knowledge, exchange experiences and ideas, and discuss challenges and future research directions in the area of domain-specific model based verification and validation.

Themes and Topics

Among others, we observe the following new areas of interest


Automotive and Transportation

Requirements elicitation and modeling

Cloud Computing and Web Services

Empirical studies and industrial experiences

Finance & Business




Mobile Devices

Public Administration

Social Networks

Smart Grids, Cities, Spaces

Telecommunication and Networks