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. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia 2005
Invited Talks
- Anthony Finkelstein: Business Data Validation: lessons from practice. 1
- Shriram Krishnamurthi: Web Verification: Perspective and Challenges. 3-8
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
- David Crocker, John H. Warren: Generating commercial web applications from precise requirements and formal specifications. 27-32
- 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
Testing, Validation and Categorization of Web Sites
- Roger G. Stone: Validating Scripted Web-Pages. 55-64
- Javier Jesus Gutiérrez Rodriguez, María José Escalona Cuaresma, Manuel Mejías Risoto, Jesus Torres Valderrama: Testing web applications in practice. 65-75
- Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana: Web Categorisation Using Distance-Based Decision Trees. 77-82
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
- Shadi Abou-Zahra: Automated Web Site Accessibility Evaluation. 97-102
XML transformation and optimization
- Temur Kutsia: Context Sequence Matching for XML. 103-119
- Josep Silva: Slicing XML Documents. 121-125
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
- Salvador Lucas: Rewriting-based navigation of Web sites. 157-160
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
- Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Verification of Web Services with Timed Automata. 177-191
- Frédéric Rioux, Patrice Chalin: Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. 193-206
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team