First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain - researchr publication

researchr

You are not signed in
Sign in
Sign up

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

Conference: wwv2005

Abstract is missing.

PrefaceMaría Alpuente, Santiago Escobar, Moreno Falaschi.

Business Data Validation: lessons from practiceAnthony Finkelstein. 1

Web Verification: Perspective and ChallengesShriram Krishnamurthi. 3-8

Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support ServiceMartin Karusseit, Tiziana Margaria. 9-25

Generating commercial web applications from precise requirements and formal specificationsDavid Crocker, John H. Warren. 27-32

What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc. 33-36

How Recent is a Web Document?Bo Hu, Florian Lauck, Jan Scheffczyk. 37-53

Validating Scripted Web-PagesRoger G. Stone. 55-64

Testing web applications in practiceJavier Jesus Gutiérrez Rodriguez, María José Escalona Cuaresma, Manuel Mejías Risoto, Jesus Torres Valderrama. 65-75

Web Categorisation Using Distance-Based Decision TreesVicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana. 77-82

Web Accessibility Evaluation Tools: a survey and some improvementsVicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez. 83-95

Automated Web Site Accessibility EvaluationShadi Abou-Zahra. 97-102

Context Sequence Matching for XMLTemur Kutsia. 103-119

Slicing XML DocumentsJosep Silva. 121-125

A Language for Verification and Manipulation of Web DocumentsLuigi Liquori, Furio Honsell, Rekha Redamalla. 127-137

Anchoring modularity in HTMLClaude Kirchner, Hélène Kirchner, Anderson Santana. 139-151

A Rewriting-based system for Web site VerificationDemis Ballis, Javier García-Vivó. 153-156

Rewriting-based navigation of Web sitesSalvador Lucas. 157-160

Modeling Web Applications by the Multiple Levels of Integrity PolicyGianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini. 161-175

Verification of Web Services with Timed AutomataGregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero. 177-191

Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case StudyFrédéric Rioux, Patrice Chalin. 193-206

runs on WebDSL