首页> 外文会议>Workshop on Testing, analysis, and verification of web services and applications >Client and server verification for web services using interface grammars
【24h】

Client and server verification for web services using interface grammars

机译:使用界面语法对Web服务的客户端和服务器验证

获取原文

摘要

The last decade has seen the explosive growth of interactive Web software applications in a diverse set of domains including retail, electronic commerce, wikis, blogs, social network services, etc. This explosive growth is likely to accelerate further by adoption of the service oriented computing paradigm that enables interactions among Web accessible software components. Challenges in developing Web accessible software have inspired a new wave of languages, standards, and tools that have not yet become part of the mainstream software engineering research and education. On the other hand, an increasingly large number of software developers work exclusively on Web software development. >TAV-WEB 2008 is the third in a series of workshops that focus on testing, analysis and verification of web software. The scope of TAV-WEB 2008 has been extended (from the web service scope of previous workshops TAV-WEB 2004 and TAV-WEB 2006) to include all Web software. The goal of these workshops hasbeen to bring together researchers from academic, research, and industrial communities interested in the emerging area of dependable Web software development, to present and discuss their recent research results. >The TAV-WEB 2008 program consists of seven technical papers and an invited tool demonstration reporting recent research results on testing, analysis and verification of web software.
机译:过去十年来看,在不同的域名中,包括零售,电子商务,维基,博客,社会网络服务等各种领域的爆炸性增长。这种爆炸性增长可能会通过通过面向服务的计算进一步加速PARADIGM可以在Web访问软件组件之间进行交互。开发Web Accessible软件的挑战启发了尚未成为主流软件工程研究和教育的一部分的新语言,标准和工具。另一方面,越来越大量的软件开发人员专门用于Web软件开发。 > Tav-Web 2008是一系列研讨会中的第三个专注于测试,分析和验证Web软件的研讨会。 TAV-Web 2008的范围已扩展(从先前研讨会TAV-Web 2004和TAV-Web 2006的Web服务范围)以包括所有Web软件。这些研讨会的目的是将研究人员从学术,研究和工业群落中汇集在一起​​,并讨论其最近的研究结果。 > tav-web 2008程序由七个技术文件和邀请的工具演示组成,报告最近关于Web软件的测试,分析和验证的研究结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号