The Community for Technology Leaders
Automated Specification and Verification of Web Systems, International Workshop on (2006)
Paphos, Cyprus
Nov. 19, 2006 to Nov. 19, 2006
ISBN: 0-7695-2826-0
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. vi

Organization (PDF)

pp. vii
Invited Talk

Mary Poppins and the Web of the Future: Search, Share, Social, Semantics, and Sugar (Abstract)

Massimo Marchiori , University of Padua (UNIPD), Italy; Utility Labs (UTILABS)
pp. 3-10
Session 1: Web Verification

Fixing Web Sites Using Correction Strategies (Abstract)

D. Romero , Universidad Politecnica de Valencia, Spain
D. Ballis , UNIUD, Italy
pp. 11-18

Filtering of XML Documents (Abstract)

D. Romero , Universidad Politecnica de Valencia, Spain
D. Ballis , UNIUD, Italy
pp. 19-28
Session 2: Web Accessibility

WAEX: Web Accessibility Evaluator in a Single XSLT File (Abstract)

Carlos Delgado Kloos , Carlos III University of Madrid, Spain
Martin Gaedke , University of Karlsruhe, Germany
Martin Nussbaumer , University of Karlsruhe, Germany
Vicente Luque Centeno , Carlos III University of Madrid, Spain
pp. 29-36

A Lightweight Web GUI Specification and Realisation System and Its Impact on Accessibility (Abstract)

Roger Stone , Loughborough University of Technology, England
pp. 37-44
Tutorial

Modeling Interactions of Web Software (Abstract)

Tevfik Bultan , University of California, Santa Barbara, USA
pp. 45-52
Session 3: Formal Frameworks and Web Services

A Web-Based Runtime-Reconfigurable Role Management Service (Abstract)

Tiziana Margaria , Universitat Potsdam, Germany
Martin Karusseit , Universitat Dortmund, Germany
pp. 53-60

Towards a Formal Framework for Developing Secure Web Services (Abstract)

Ali E. Abdallah , London South Bank University, UK
Ali Nasrat Haidar , London South Bank University, UK
pp. 61-70
Author Index

Author Index (PDF)

pp. 71
84 ms
(Ver )