Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
It serves as an incremental forum for researchers in web-based systems and formal methods to share hybrid approaches.
This paper presents the proceedings of the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which includes research papers addressing problems in web system verification and specification, with results from interdisciplinary contributions in declarative programming, formal methods, and software engineering.
These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2015 in Oslo, Norway, as a satellite workshop of the 20th International Symposium on Formal Methods (FM 2015). WWV is a yearly interdisciplinary forum for researchers originating from the following areas: declarative, rule-based programming, formal methods, software engineering and web-based systems. The workshop fosters the cross-fertilisation and advancement of hybrid methods from such areas.