Downloadable version here
Call for Papers
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 |
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
Downloadable version here