[ecoop-info] Call for Papers: 2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - AMARETTO 2017

[Francesca Lonetti]

[Please accept our apologies if you receive multiple copies of this CFP]

================================================================================

CALL FOR PAPERS

2nd International Workshop on domAin specific Model-based AppRoaches to 
vErificaTion and validaTiOn - AMARETTO 2017

http://www.modelsward.org/AMARETTO.aspx

In conjunction with the 5th International Conference on Model-Driven 
Engineering and Software Development - MODELSWARD 2017 -19-21 February, 
2017 - Porto, Portugal

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.

The workshop is held at MODELSWARD 2017 and continues the successful 
tradition of the first edition of Amaretto in the investigation of 
different aspects and domain specific solutions for model-based 
verification and validation. This workshop provides a forum for 
academia, industry, and research and development communities to share 
their knowledge, exchange experiences and ideas, and discuss challenges 
and future research directions.

TOPICS

V&V solutions for specific domain

Domain specific testing strategies

Safety and Security V&V

Model-based security assessment

Requirements elicitation and modeling

Methodological approaches for V&V

Generation of domain-specific V&V frameworks

Model-driven test suite generation

Domain specific V&V tools

Customization of V&V methodologies to specific domain

V&V approaches at design level

Simulation and monitoring for specific application domain

Business process modeling and assessment

Certification and assessment of software products

In-house vs. third party V&V solutions

Empirical studies and industrial experiences

Identification of problems and visions of the future

Welcome domains of application include, but are not limited to:

Healthcare

Telecommunication and Networks

Cloud Computing and Web Services

Mobile Devices

Automotive and Transportation

Learning

Legal

Smart Grid, Smart Cities, and Smart Spaces

Public Administration

Finance & Business

Social Networks

Media and Audio-Visual

*IMPORTANT DATES*

*Papers Submission: *October 31, 2016
*Authors Notification:*December 14, 2016
*Camera Ready and Registration:*December 28, 2016

PAPER SUBMISSION

Prospective authors are invited to submit papers in any of the topics 
listed above.

Instructions for preparing the manuscript (in Word and Latex formats) 
are available at: http://www.modelsward.org/Templates.aspx

Please also check the Guidelines 
(http://www.modelsward.org/Guidelines.aspx).

Papers should be submitted electronically via the web-based submission 
system at: http://www.insticc.org/Primoris

PAPER PUBLICATION

After thorough reviewing by the workshop program committee complemented 
by members of the main conference program committee, 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 (http://www.scitepress.org/DigitalLibrary/).

SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every 
paper is given a DOI (Digital Object Identifier).

PROGRAM COMMITTEE

Marco Autili, University of L'Aquila, Italy

Antonia Bertolino, ISTI-CNR, Italy

Emanuela Cartaxo, Federal University of Campina Grande, Brazil

Ana Cavalli, TELECOM SudParis, France

Antinisca Di Marco, University of L’Aquila, Italy

María José Escalona, ETS Ingeniería Informática, Spain

Angelo Gargantini, Università di Bergamo, Italy

Paul Grace, University of Southampton, UK

Knut Hinkelmann, University of Applied Sciences Northwestern FHNW, 
Switzerland

Sylvia Christova Ilieva, Sofia University, Bulgaria

Ives Le Traon, University of Luxembourg, Luxembourg

Ilaria Matteucci, IIT-CNR, Italy

Raffaela Mirandola, Politecnico di Milano, Italy

Ana Cristina Paiva, University of Porto, Portugal

Ioannis Parissis, Grenoble INP - Esisar, France

Patrizio Pelliccione, University of Gothenburg, Sweden

Sasikumar Punnekkat, Malardalen University, Sweden

Antonino Sabetta, Security Research, SAP Labs, France

Gayane Sedrakyan, Katholieke Universiteit Leuven, Belgium

Paola Spoletini, Kennesaw State University, USA

Maurice H. ter Beek, ISTI-CNR, Italy

Barbara Thönssen, University of Applied Sciences Northwestern FHNW, 
Switzerland

CO-CHAIRS

Antonello Calabrò ISTI-CNR, Italy

Francesca Lonetti ISTI-CNR, Italy

Eda Marchetti ISTI-CNR, Italy




-- 
Francesca Lonetti
ISTI-CNR
via Moruzzi, 1, 56124, Pisa (Italy)
francesca.lonetti at isti.cnr.it
Tel. +39 050 3153468 Fax +39 050 3152924