default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWWV 2005: Valencia, Spain
- María Alpuente, Santiago Escobar, Moreno Falaschi:
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 - María Alpuente, Santiago Escobar, Moreno Falaschi:
Preface. WWV 2005
Invited Talks
- Anthony Finkelstein:
Business Data Validation: lessons from practice. WWV 2005: 1 - Shriram Krishnamurthi:
Web Verification: Perspective and Challenges. WWV 2005: 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. WWV 2005: 9-25 - David Crocker, John H. Warren:
Generating commercial web applications from precise requirements and formal specifications. WWV 2005: 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? WWV 2005: 33-36 - Bo Hu, Florian Lauck, Jan Scheffczyk:
How Recent is a Web Document? WWV 2005: 37-53
Testing, Validation and Categorization of Web Sites
- Roger G. Stone:
Validating Scripted Web-Pages. WWV 2005: 55-64 - Javier Jesus Gutiérrez Rodriguez, María José Escalona Cuaresma, Manuel Mejías Risoto, Jesús Torres Valderrama:
Testing web applications in practice. WWV 2005: 65-75 - Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
Web Categorisation Using Distance-Based Decision Trees. WWV 2005: 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. WWV 2005: 83-95 - Shadi Abou-Zahra:
Automated Web Site Accessibility Evaluation. WWV 2005: 97-102
XML transformation and optimization
- Temur Kutsia:
Context Sequence Matching for XML. WWV 2005: 103-119 - Josep Silva:
Slicing XML Documents. WWV 2005: 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. WWV 2005: 127-137 - Claude Kirchner, Hélène Kirchner, Anderson Santana:
Anchoring modularity in HTML. WWV 2005: 139-151 - Demis Ballis, Javier García-Vivó:
A Rewriting-based system for Web site Verification. WWV 2005: 153-156 - Salvador Lucas:
Rewriting-based navigation of Web sites. WWV 2005: 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. WWV 2005: 161-175 - Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero:
Verification of Web Services with Timed Automata. WWV 2005: 177-191 - Frédéric Rioux, Patrice Chalin:
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. WWV 2005: 193-206
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-12 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
