PRIMORIS      Contacts      FAQs      INSTICC Portal
 

Special Sessions

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 CD-ROM 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 Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus.


SPECIAL SESSIONS LIST

AMARETTO 2017International Special Session on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
Chair(s): Francesca Lonetti, Antonello Calabrò and Eda Marchetti

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)


Co-chairs

Francesca Lonetti
National Research Council (CNR) Pisa
Italy
 
Antonello Calabrò
CNR-ISTI
Italy
 
Eda Marchetti
ISTI-CNR
Italy
 
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.





footer