posted by organizer: FrancescaLonetti || 176 views || tracked by 2 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.modelsward.org/AMARETTO.aspx
 
When Feb 19, 2017 - Feb 21, 2017
Where Porto, Portugal
Submission Deadline Oct 31, 2016
Notification Due Dec 14, 2016
Final Version Due Dec 28, 2016
 

Call For Papers

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

Related Resources

ST: Model-Based Testing 2016   Theme issue on Model-Based Testing : Software and Systems Modeling Journal (SoSyM)
ITSLE 2016   Industry Track for Software Language Engineering
AMARETTO 2016   1st domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
AMARETTO 2016   domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
SAC PL 2017   ACM SAC'17 PL Track
DSLDI 2016   4th Workshop on Domain Specific Language Design and Implementation
GPCE 2016   International Conference on Generative Programming: Concepts & Experiences
ENASE 2017   12th International Conference on Evaluation of Novel Approaches to Software Engineering
ModComp 2016   3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2016
MDASD 2016   4th Workshop on Model Driven Approaches in System Development