WWV 2005: Valencia, Spain

María Alpuente, Santiago Escobar, Moreno Falaschi (Eds.): First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain. DSIC-II/03/05 Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia 2005 BibTeX

Electronic proceedings

• María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. BibTeX

Invited Talks

• Anthony Finkelstein: Business Data Validation: lessons from practice. 1 BibTeX
• Shriram Krishnamurthi: Web Verification: Perspective and Challenges. 3-8 BibTeX

Formal Models for describing and reasoning about Web Sites

• Martin Karusseit, Tiziana Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. 9-25 BibTeX
• David Crocker, John H. Warren: Generating commercial web applications from precise requirements and formal specifications. 27-32 BibTeX
• Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc: What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? 33-36 BibTeX
• Bo Hu, Florian Lauck, Jan Scheffczyk: How Recent is a Web Document? 37-53 BibTeX

Testing, Validation and Categorization of Web Sites

• Roger G. Stone: Validating Scripted Web-Pages. 55-64 BibTeX
• Javier Jesus Gutiérrez Rodriguez, María José Escalona Cuaresma, Manuel Mejías Risoto, Jesus Torres Valderrama: Testing web applications in practice. 65-75 BibTeX
• Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana: Web Categorisation Using Distance-Based Decision Trees. 77-82 BibTeX

Accessibility Evaluation

• Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez: Web Accessibility Evaluation Tools: a survey and some improvements. 83-95 BibTeX
• Shadi Abou-Zahra: Automated Web Site Accessibility Evaluation. 97-102 BibTeX

XML transformation and optimization

• Temur Kutsia: Context Sequence Matching for XML. 103-119 BibTeX
• Josep Silva: Slicing XML Documents. 121-125 BibTeX

Rule-based approaches to Web site analysis and verification

• Luigi Liquori, Furio Honsell, Rekha Redamalla: A Language for Verification and Manipulation of Web Documents. 127-137 BibTeX
• Claude Kirchner, Hélène Kirchner, Anderson Santana: Anchoring modularity in HTML. 139-151 BibTeX
• Demis Ballis, Javier García-Vivó: A Rewriting-based system for Web site Verification. 153-156 BibTeX
• Salvador Lucas: Rewriting-based navigation of Web sites. 157-160 BibTeX

Model-checking and Static Analysis applied to the Web

• Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini: Modeling Web Applications by the Multiple Levels of Integrity Policy. 161-175 BibTeX
• Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Verification of Web Services with Timed Automata. 177-191 BibTeX
• Frédéric Rioux, Patrice Chalin: Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. 193-206 BibTeX