The Community for Technology Leaders
RSS Icon
Subscribe
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
Massimo Marchiori , University of Padua (UNIPD), Italy; Utility Labs (UTILABS)
pp. 3-10
Session 1: Web Verification
D. Ballis , UNIUD, Italy
D. Romero , Universidad Politecnica de Valencia, Spain
pp. 11-18
D. Ballis , UNIUD, Italy
D. Romero , Universidad Politecnica de Valencia, Spain
pp. 19-28
Session 2: Web Accessibility
Vicente Luque Centeno , Carlos III University of Madrid, Spain
Carlos Delgado Kloos , Carlos III University of Madrid, Spain
Martin Gaedke , University of Karlsruhe, Germany
Martin Nussbaumer , University of Karlsruhe, Germany
pp. 29-36
Roger Stone , Loughborough University of Technology, England
pp. 37-44
Tutorial
Tevfik Bultan , University of California, Santa Barbara, USA
pp. 45-52
Session 3: Formal Frameworks and Web Services
Martin Karusseit , Universitat Dortmund, Germany
Tiziana Margaria , Universitat Potsdam, Germany
pp. 53-60
Ali Nasrat Haidar , London South Bank University, UK
Ali E. Abdallah , London South Bank University, UK
pp. 61-70
Author Index
Author Index (PDF)
pp. 71
88 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool