Recent years have witnessed the emergence of domain specific model-based approaches for verification and validation in software development. These approaches are tailored to specific needs and use domain knowledge to adapt well-known model-based approaches for verification and validation. It is generally agreed that the use of domain specific solutions is cost effective and can offer vast improvements in assessment of final software product. 
The workshop is held at MODELSWARD 2017 and continues the successful tradition of the first edition of Amaretto in the investigation of different aspects and domain specific solutions for model-based verification and validation. This workshop provides a forum for academia, industry, and research and development communities to share their knowledge, exchange experiences and ideas, and discuss challenges and future research directions.