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 条
  • [41] Specification and Verification of Multi-user Data-Driven Web Applications
    Marcus, Monica
    WEB SERVICES AND FORMAL METHODS, 2010, 6194 : 128 - 146
  • [42] Automated teleoperation of web-based devices using semantic web services
    Ha, YG
    Kim, J
    Jang, M
    Sohn, JC
    Yoon, H
    INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE, 2005, 3533 : 185 - 188
  • [43] Web CARTT: The Web-Based Cyber Automated Red Team Tool
    Berrios, Joseph
    Shaffer, Alan
    Singh, Gurminder
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY (ICCWS 2021), 2021, : 11 - 19
  • [44] Test Case Generation from BPMN Models for Automated Testing of Web-Based BPM Applications
    de Moura, Jessica Lasch
    Charao, Andrea Schwertner
    Damasceno Lima, Joao Carlos
    Stein, Benhur de Oliveira
    PROCEEDINGS OF THE 2017 17TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2017), 2017,
  • [45] Effectiveness of a Web-Based Automated Cell Distribution System
    Niland, Joyce C.
    Stiller, Tracey
    Cravens, James
    Sowinski, Janice
    Kaddis, John
    Qian, Dajun
    CELL TRANSPLANTATION, 2010, 19 (09) : 1133 - 1142
  • [46] Automated generation of a World Wide Web-based data entry and check program for medical applications
    Kiuchi, T
    Kaihara, S
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1997, 52 (02) : 129 - 138
  • [47] WADE: A web-based automated parallel CAD environment
    Chakrabarti, DR
    Joisha, PG
    Chandy, JA
    Krishnaswamy, D
    Krishnaswamy, V
    Banerjee, P
    FIFTH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 1998, : 473 - 480
  • [48] HWSAM: A Web-based automated homework submission system
    Hsu, S
    28TH ANNUAL FRONTIERS IN EDUCATION CONFERENCE - CONFERENCE PROCEEDINGS, VOLS 1-3, 1998, : 580 - 582
  • [49] A Web-Based Platform for Automated Diabetic Retinopathy Screening
    Tomas Arenas-Cavalli, Jose
    Rios, Sebastian A.
    Pola, Mariano
    Donoso, Rodrigo
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS 19TH ANNUAL CONFERENCE, KES-2015, 2015, 60 : 557 - 563
  • [50] Automated, Web-based, second-chance homework
    Hall, RW
    Butler, LG
    McGuire, SY
    McGlynn, SP
    Lyon, GL
    Reese, RL
    Limbach, PA
    JOURNAL OF CHEMICAL EDUCATION, 2001, 78 (12) : 1704 - 1708
12345