Automated specification and verification of Web-based applications

被引：2
|
作者：
ter Beek, Maurice H. [1 ]
Lafuente, Alberto Lluch [2 ]
机构：
[1] ISTI CNR, Pisa, Italy
[2] DTU, Lyngby, Denmark
来源：
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2017年 / 87卷
关键词：
D O I：
10.1016/j.jlamp.2016.11.004
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：51 / 51
页数：1
相关论文
共 50 条
  • [1] Formal framework for automated analysis and verification of web-based applications
    Haydar, M
    19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 410 - 413
  • [2] Towards automatic verification of web-based SOA applications
    Chen, Xiangping
    Huang, Gang
    Mei, Hong
    PROGRESS IN WWW RESEARCH AND DEVELOPMENT, PROCEEDINGS, 2008, 4976 : 528 - 536
  • [3] Special issue on Automated Specification and Verification of Web Systems
    Kovacs, Laura
    Pugliese, Rosario
    Silva, Josep
    Tiezzi, Francesco
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (08): : 241 - 242
  • [4] Special issue on Automated Specification and Verification of Web Systems
    Kovacs, Laura
    Kutsia, Temur
    JOURNAL OF APPLIED LOGIC, 2012, 10 (01) : 1 - 1
  • [5] Specification and Verification of Web Applications in Rewriting Logic
    Alpuente, Maria
    Ballis, Demis
    Romero, Daniel
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 790 - +
  • [6] Development of Web-based Automated System for Cyber Analytic Applications
    Pillai, Athira
    Schnebly, James
    Sengupta, Shamik
    2018 9TH IEEE ANNUAL UBIQUITOUS COMPUTING, ELECTRONICS & MOBILE COMMUNICATION CONFERENCE (UEMCON), 2018, : 866 - 871
  • [7] Binary analysis and automated hot patching for Web-based applications
    Huang, Hai
    Tsai, Wei-Tek
    Chen, Yinong
    INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (12) : 1148 - 1158
  • [8] Demonstration of an automated integrated test environment for Web-based applications
    Margaria, T
    Niese, O
    Steffen, B
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2002, 2318 : 250 - 253
  • [9] Special Issue on Automated Specification and Verification of Web Systems Foreword
    Ballis, Demis
    Kutsia, Temur
    JOURNAL OF SYMBOLIC COMPUTATION, 2011, 46 (02) : 93 - 94
  • [10] Specification and verification of data-driven Web applications
    Deutsch, Alin
    Sui, Liying
    Vianu, Victor
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2007, 73 (03) : 442 - 474
12345