eprintid: 1566
rev_number: 12
eprint_status: archive
userid: 31
dir: disk0/00/00/15/66
datestamp: 2013-05-02 14:11:09
lastmod: 2013-05-02 14:11:09
status_changed: 2013-05-02 14:11:09
type: book
metadata_visibility: show
creators_name: Silva, Josep
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: Proceedings of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012)
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Networking and Internet Architecture (cs.NI)
abstract: This volume contains the final and revised versions of the papers presented at the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). The workshop was held in Stockholm, Sweden, on June 16, 2012, as part of DisCoTec 2012.
WWV is a yearly workshop that aims at providing an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research. WWV has a reputation for being a lively, friendly forum for presenting and discussing work in progress. The proceedings have been produced after the symposium to allow the authors to incorporate the feedback gathered during the event in the published papers.
All papers submitted to the workshop were reviewed by at least three Program Committee members or external referees. The Program Committee held an electronic discussion leading to the acceptance of all papers for presentation at the workshop. In addition to the presentation of the contributed papers, the scientific programme included the invited talks by two outstanding speakers: Rocco De Nicola (IMT, Institute for Advanced Studies Lucca, Italy) and Jos\`e Luiz Fiadeiro (Royal Holloway, United Kingdom). 
date: 2012
date_type: published
volume: 98
publisher: EPTCS
refereed: TRUE
editors_name: Silva, Josep
editors_name: Tiezzi, Francesco
editors_id: 
editors_id: francesco.tiezzi@imtlucca.it
citation:   Silva, Josep and Tiezzi, Francesco  Proceedings of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012).    EPTCS.       (2012)