Il Workshop on Automated Specification and Verification of Web Systems è un evento annuale finalizzato ad offrire un forum interdisciplinare dedicato al mondo del web.
Gli argomenti sui quali verteranno i paper e gli interventi sono:
Rule-based approaches to Web system analysis, certification, specification, verification, and optimization.
Formal models for describing and reasoning about Web systems.
Model-checking, synthesis and debugging of Web systems.
Analysis and verification of linked data.
Abstract interpretation and program transformation applied to the semantic Web.
Intelligent tutoring and advisory systems for Web specifications authoring.
Web quality and Web metrics.
Web usability and accessibility.
Testing and evaluation of Web systems and applications.
La registrazione on-line sarà possibile a partire dal 28 giugno sul sito internet dell'evento.
