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.