第八届 Web 系统自动化规范与验证国际研讨会论文集
软件工程
2012-10-23 v1 形式语言与自动机理论
网络与互联网体系结构
摘要
本卷收录了第八届 Web 系统自动化规范与验证国际研讨会（WWV 2012）上发表的论文的最终修订版。该研讨会于 2012 年 6 月 16 日在瑞典斯德哥尔摩举行，作为 DisCoTec 2012 的一部分。WWV 是一个年度研讨会，旨在提供一个跨学科论坛，促进混合方法的交叉融合与进步，这些方法利用了源自基于规则的程序设计、软件工程、形式方法和面向 Web 的研究的概念与工具。WWV 素以展示和讨论进行中工作的活跃、友好论坛而闻名。论文集在研讨会之后出版，以便作者能够将活动期间收集的反馈纳入已发表的论文中。所有提交给研讨会的论文均经过至少三位程序委员会成员或外部审稿人的评审。程序委员会举行了电子讨论，决定接收所有论文在研讨会上发表。除了贡献论文的展示外，科学议程还包括两位杰出演讲者的邀请报告：Rocco De Nicola（意大利卢卡高等研究院 IMT）和 Jos\`e Luiz Fiadeiro（英国皇家霍洛威学院）。
引用
@article{arxiv.1210.5783,
title = {Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems},
author = {Josep Silva and Francesco Tiezzi},
journal= {arXiv preprint arXiv:1210.5783},
year = {2012}
}
备注
EPTCS 98, 2012