Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems
This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). The workshop was held in Reykjavik, Iceland, on June 9, 2011, as part of DisCoTec 2011. The aim of the WWV workshop ser...
Published in: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Main Authors: | , , |
Format: | Text |
Language: | unknown |
Published: |
2011
|
Subjects: | |
Online Access: | http://arxiv.org/abs/1108.2085 https://doi.org/10.4204/EPTCS.61 |
id |
ftarxivpreprints:oai:arXiv.org:1108.2085 |
---|---|
record_format |
openpolar |
spelling |
ftarxivpreprints:oai:arXiv.org:1108.2085 2023-09-05T13:20:34+02:00 Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems Kovacs, Laura Pugliese, Rosario Tiezzi, Francesco 2011-08-09 http://arxiv.org/abs/1108.2085 https://doi.org/10.4204/EPTCS.61 unknown http://arxiv.org/abs/1108.2085 doi:10.4204/EPTCS.61 Computer Science - Software Engineering Computer Science - Logic in Computer Science text 2011 ftarxivpreprints https://doi.org/10.4204/EPTCS.61 2023-08-16T12:31:48Z This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). The workshop was held in Reykjavik, Iceland, on June 9, 2011, as part of DisCoTec 2011. The aim of the WWV workshop series is to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research. Nowadays, indeed, many companies and institutions have diverted their Web sites into interactive, completely-automated, Web-based applications for, e.g., e-business, e-learning, e-government, and e-health. The increased complexity and the explosive growth of Web systems have made their design and implementation a challenging task. Systematic, formal approaches to their specification and verification can permit to address the problems of this specific domain by means of automated and effective techniques and tools. In response to this year's call for papers, we received 9 paper submissions. The Program Committee of WWV 2011 collected three reviews for each paper and held an electronic discussion leading to the selection of 7 papers for presentation at the workshop. In addition to the selected papers, the scientific programme included an invited lecture by Elie Najm. Comment: EPTCS 61, 2011 Text Iceland ArXiv.org (Cornell University Library) Electronic Proceedings in Theoretical Computer Science 61 |
institution |
Open Polar |
collection |
ArXiv.org (Cornell University Library) |
op_collection_id |
ftarxivpreprints |
language |
unknown |
topic |
Computer Science - Software Engineering Computer Science - Logic in Computer Science |
spellingShingle |
Computer Science - Software Engineering Computer Science - Logic in Computer Science Kovacs, Laura Pugliese, Rosario Tiezzi, Francesco Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems |
topic_facet |
Computer Science - Software Engineering Computer Science - Logic in Computer Science |
description |
This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). The workshop was held in Reykjavik, Iceland, on June 9, 2011, as part of DisCoTec 2011. The aim of the WWV workshop series is to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research. Nowadays, indeed, many companies and institutions have diverted their Web sites into interactive, completely-automated, Web-based applications for, e.g., e-business, e-learning, e-government, and e-health. The increased complexity and the explosive growth of Web systems have made their design and implementation a challenging task. Systematic, formal approaches to their specification and verification can permit to address the problems of this specific domain by means of automated and effective techniques and tools. In response to this year's call for papers, we received 9 paper submissions. The Program Committee of WWV 2011 collected three reviews for each paper and held an electronic discussion leading to the selection of 7 papers for presentation at the workshop. In addition to the selected papers, the scientific programme included an invited lecture by Elie Najm. Comment: EPTCS 61, 2011 |
format |
Text |
author |
Kovacs, Laura Pugliese, Rosario Tiezzi, Francesco |
author_facet |
Kovacs, Laura Pugliese, Rosario Tiezzi, Francesco |
author_sort |
Kovacs, Laura |
title |
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems |
title_short |
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems |
title_full |
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems |
title_fullStr |
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems |
title_full_unstemmed |
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems |
title_sort |
proceedings 7th international workshop on automated specification and verification of web systems |
publishDate |
2011 |
url |
http://arxiv.org/abs/1108.2085 https://doi.org/10.4204/EPTCS.61 |
genre |
Iceland |
genre_facet |
Iceland |
op_relation |
http://arxiv.org/abs/1108.2085 doi:10.4204/EPTCS.61 |
op_doi |
https://doi.org/10.4204/EPTCS.61 |
container_title |
Electronic Proceedings in Theoretical Computer Science |
container_volume |
61 |
_version_ |
1776201234614583296 |