PRIMORIS      Contacts      FAQs      INSTICC Portal


The purpose of workshops is to provide a more interactive and focused platform for presenting and discussing new and emerging ideas. The format of paper presentations may include oral presentations, poster presentations, keynote lectures and panels. Depending on the number of presentations, workshops can be scheduled for 1 day or 2 days. 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.


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

International Workshop on
domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
 - AMARETTO 2018

Paper Submission: November 14, 2017 (expired)
Authors Notification: November 21, 2017
Camera Ready and Registration: November 29, 2017


Francesca Lonetti
National Research Council (CNR) Pisa
Antonello Calabrò
Eda Marchetti

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 of the domain and leverage domain knowledge to adapt and customize well-known model-based approaches for verification and validation. Specifically, in the last decades software development is driven by emerging trends such as the widespread diffusion of mobile technology, cloud infrastructures adoption as well as big data analysis and software as a service paradigm that point out new constraints and challenges for the verification and validation activity.