Conferences in DBLP

Automated Specification and Verification of Web Sites (wwv)
2005 (conf/wwv/2005)

1. María Alpuente, Santiago Escobar, Moreno Falaschi
   Preface. [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:- [Conf]
   
2. Anthony Finkelstein
   Business Data Validation: lessons from practice. [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:1- [Conf]
   
3. Shriram Krishnamurthi
   Web Verification: Perspective and Challenges. [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:3-8 [Conf]
   
4. Martin Karusseit, Tiziana Margaria
   Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:9-25 [Conf]
   
5. David Crocker, John H. Warren
   Generating commercial web applications from precise requirements and formal specifications. [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:27-32 [Conf]
   
6. Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc
   What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:33-36 [Conf]
   
7. Bo Hu, Florian Lauck, Jan Scheffczyk
   How Recent is a Web Document? [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:37-53 [Conf]
   
8. Roger G. Stone
   Validating Scripted Web-Pages. [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:55-64 [Conf]
   
9. Javier Jesus Gutiérrez Rodriguez, María José Escalona Cuaresma, Manuel Mejías Risoto, Jesus Torres Valderrama
   Testing web applications in practice. [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:65-75 [Conf]
   
10. Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
    Web Categorisation Using Distance-Based Decision Trees. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:77-82 [Conf]
    
11. Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez
    Web Accessibility Evaluation Tools: a survey and some improvements. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:83-95 [Conf]
    
12. Shadi Abou-Zahra
    Automated Web Site Accessibility Evaluation. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:97-102 [Conf]
    
13. Temur Kutsia
    Context Sequence Matching for XML. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:103-119 [Conf]
    
14. Josep Silva
    Slicing XML Documents. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:121-125 [Conf]
    
15. Luigi Liquori, Furio Honsell, Rekha Redamalla
    A Language for Verification and Manipulation of Web Documents. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:127-137 [Conf]
    
16. Claude Kirchner, Hélène Kirchner, Anderson Santana
    Anchoring modularity in HTML. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:139-151 [Conf]
    
17. Demis Ballis, Javier García-Vivó
    A Rewriting-based system for Web site Verification. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:153-156 [Conf]
    
18. Salvador Lucas
    Rewriting-based navigation of Web sites. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:157-160 [Conf]
    
19. Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
    Modeling Web Applications by the Multiple Levels of Integrity Policy. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:161-175 [Conf]
    
20. Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero
    Verification of Web Services with Timed Automata. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:177-191 [Conf]
    
21. Frédéric Rioux, Patrice Chalin
    Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:193-206 [Conf]