PRIMORIS      Contacts      FAQs      INSTICC Portal
 

Workshops

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.

WORKSHOPS LIST

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

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 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. 





footer