WWV 2016 - 12th International Workshop on Automated Specification and Verification of Web Systems

WWV welcomes papers of either theoretical or applied interest, including case studies or experience reports, in all areas of web-based systems (web services, cloud platforms, Internet-of-Things, social networks, big data), including but not limited to:
Formal methods and rigorous software and system engineering
Declarative, rule-based approaches
Product line and feature-oriented engineering
Programming and design languages and models
Specification, certification, transformation, and synthesis
Analysis, verification, model checking, and debugging
Semi-structured data, linked data, and semantic web
Security, trust, privacy, reputation, confidentiality, and integrity
Quality, metrics, usability, and accessibility
Testing, evaluation, and optimisation
Middleware, platforms, and frameworks