Special sessions are very small and specialized events to be held during the conference as a set of oral and poster presentations that are highly specialized in some particular theme or consisting of the works of some particular international project. The goal of special sessions (minimum 4 papers; maximum 9) is to provide a focused discussion on innovative topics. All accepted papers will be published in a special section of the conference proceedings book, under an ISBN reference, and on digital support. All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. SCITEPRESS is a member of CrossRef and every paper is given a DOI (Digital Object Identifier). The proceedings are submitted for indexation by DBLP, Web of Science / Conference Proceedings Citation Index, EI and SCOPUS.
SPECIAL SESSIONS LIST
AMARETTO 2017, International Special Session on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
International Special Session on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn -
AMARETTO
2017
Paper Submission:
November 22, 2016 (expired)
Authors Notification:
December 23, 2016 (expired)
Camera Ready and Registration:
January 5, 2017 (expired)
Scope
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.