Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011).
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...
Main Authors: | , , |
---|---|
Format: | Book |
Language: | unknown |
Published: |
EPTCS
2011
|
Subjects: | |
Online Access: | http://eprints.imtlucca.it/1567/ |
id |
ftimtlucca:oai:eprints.imtlucca.it:1567 |
---|---|
record_format |
openpolar |
spelling |
ftimtlucca:oai:eprints.imtlucca.it:1567 2023-05-15T16:50:52+02:00 Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). Kovács, Laura Pugliese, Rosario Tiezzi, Francesco Kovács, Laura Pugliese, Rosario Tiezzi, Francesco 2011 http://eprints.imtlucca.it/1567/ unknown EPTCS Kovács, Laura and Pugliese, Rosario and Tiezzi, Francesco Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). EPTCS. (2011) QA75 Electronic computers. Computer science Book PeerReviewed 2011 ftimtlucca 2022-04-11T05:31:18Z 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. Book Iceland IMT (Institutions Markets Technologies) Institute for Advanced Studies Lucca: Repository |
institution |
Open Polar |
collection |
IMT (Institutions Markets Technologies) Institute for Advanced Studies Lucca: Repository |
op_collection_id |
ftimtlucca |
language |
unknown |
topic |
QA75 Electronic computers. Computer science |
spellingShingle |
QA75 Electronic computers. Computer science Kovács, Laura Pugliese, Rosario Tiezzi, Francesco Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). |
topic_facet |
QA75 Electronic computers. 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. |
author2 |
Kovács, Laura Pugliese, Rosario Tiezzi, Francesco |
format |
Book |
author |
Kovács, Laura Pugliese, Rosario Tiezzi, Francesco |
author_facet |
Kovács, Laura Pugliese, Rosario Tiezzi, Francesco |
author_sort |
Kovács, Laura |
title |
Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). |
title_short |
Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). |
title_full |
Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). |
title_fullStr |
Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). |
title_full_unstemmed |
Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). |
title_sort |
proceedings of 7th international workshop on automated specification and verification of web systems (wwv 2011). |
publisher |
EPTCS |
publishDate |
2011 |
url |
http://eprints.imtlucca.it/1567/ |
genre |
Iceland |
genre_facet |
Iceland |
op_relation |
Kovács, Laura and Pugliese, Rosario and Tiezzi, Francesco Proceedings of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). EPTCS. (2011) |
_version_ |
1766040989645930496 |