| |||||||||||||
AMARETTO 2017 : 2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn | |||||||||||||
Link: http://www.modelsward.org/AMARETTO.aspx | |||||||||||||
| |||||||||||||
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 - 20 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 Cesare Bartolini, University of Luxembourg, Luxembourg 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 Yves Le Traon, University of Luxembourg, Luxembourg Leonardo Mariani, University of Milano Bicocca, Italy 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 |
|