AMARETTO 2016 Workshop
The 1st domAin specific Model-based AppRoach to vErificaTion and validation (AMARETTO 2016) workshop, co-located with MODELSWARD 2016, will be held in Rome Italy, on 19 February 2016.
Scope
Recent years have witnessed the emergence of domain-specific model based approaches for verification and validations in software development. These approaches are tailored to the specific needs of the domain and use domain knowledge to adapt and customize well-known model based approaches for verification and validation. It is generally agreed that the use of domain-specific solutions are cost effective and can offer vast improvements in assessment of final software product.
The aim this workshop is to investigate different aspects and solutions for model based verification and validation applied into domain-specific environments. This workshop provides a forum for academia, industry, and the research and development community to share their knowledge, exchange experiences and ideas, and discuss challenges and future research directions in the area of domain-specific model based verification and validation.
TOPICS OF INTEREST
The topics of interest to the workshop include, but are not limited to:
- Business process modeling and assessment In-house vs. third party V&V solutions
- Case studies Methodological approaches for V&V
- Certification and Assessment Model based security assessment
- Customization of generic V&V methodologies to specific domains
- Model driven test suite generation
- Domain specific testing strategies Requirements elicitation and modeling
- Domain-specific V&V tools Safety and Security V&V
- Empirical studies and industrial experiences
- Simulation and monitoring inside specific application domain
- Generation of domain-specific V&V frameworks V&V approaches inside model based design
DOMAINS OF APPLICATIONS
Welcome domains of application are (but may 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
- Audio-Visual
Important dates
Submission: November 18, 2015
Authors Notification: December 7, 2015
Camera Ready and Registration: December 18, 2015