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 条
  • [31] Online testing of web-based applications
    Wang, QX
    Quan, LN
    Ying, FC
    PROCEEDINGS OF THE 28TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATION CONFERENCE, WORKSHOP AND FAST ABSTRACTS, 2004, : 166 - 169
  • [32] Security models for Web-based applications
    Joshi, JBD
    Aref, WG
    Ghafoor, A
    Spafford, EH
    COMMUNICATIONS OF THE ACM, 2001, 44 (02) : 38 - 44
  • [33] XML for Web-based database applications
    Chiou, YW
    PROCEEDINGS OF THE 6TH JOINT CONFERENCE ON INFORMATION SCIENCES, 2002, : 220 - 225
  • [34] Web-based clinical radiology applications
    Feingold, E
    Grevera, G
    Mezrich, RS
    Horii, SC
    RADIOLOGY, 1996, 201 : 9119 - 9119
  • [35] Deriving architectures of web-based applications
    Zhao, WQ
    Kearney, D
    WEB TECHNOLOGIES AND APPLICATIONS, 2003, 2642 : 301 - 312
  • [36] A web-based approach to the specification and programming of home automation systems
    Nunes, RJC
    MELECON 2004: PROCEEDINGS OF THE 12TH IEEE MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, 2004, : 693 - 696
  • [37] Fortifying Web-Based Applications Automatically
    Tang, Shuo
    Dautenhahn, Nathan
    King, Samuel T.
    PROCEEDINGS OF THE 18TH ACM CONFERENCE ON COMPUTER & COMMUNICATIONS SECURITY (CCS 11), 2011, : 615 - 626
  • [38] RACCOON: Automated Verification of Guarded Race Conditions in Web Applications
    Koch, Simon
    Sauer, Tim
    Johns, Martin
    Pellegrino, Giancarlo
    PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 1678 - 1687
  • [39] Applying Semantic Web Services to Web-based IS and applications
    Bose, Ranjit
    PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2008, : 1150 - 1155
  • [40] AHPSVER: A web-based system for hydrologic forecast verification
    Kruger, Anton
    Khandelwal, Shashank G.
    Bradley, Allen
    COMPUTERS & GEOSCIENCES, 2007, 33 (06) : 739 - 748
12345