Ball Call for papers
 Ball Important dates
 Ball Topics
 Ball Invited speakers
 Ball Program committee
 Ball Submission
 Ball Program
 Ball Accepted Papers
 Ball Registration
 Ball Location and travel
 Ball WWV homepage
 Ball Poster
 >  Special Issue JLAP
 >  DisCoTec 2013

9th International Workshop on Automated Specification and Verification of Web Systems

The Workshop on Automated Specification and Verification of Web Systems (WWV) is a yearly workshop that aims to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that combine Rule-based programming, Automated software engineering, and Web-oriented research. Started in 2005, the series of this workshop established itself as a lively, friendly event with many interactions and discussions.

The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects.

This year, WWV is a satellite workshop of DisCoTec 2013