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 条
  • [21] A course on Web languages and Web-based applications
    Sridharan, K
    IEEE TRANSACTIONS ON EDUCATION, 2004, 47 (02) : 254 - 260
  • [22] Migrating Web-based applications into Semantic Web
    Rovan, Lidia
    Baranovic, Mirta
    ITI 2006: PROCEEDINGS OF THE 28TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2006, : 159 - +
  • [23] Automated and Manual Grading of Web-Based Assignments
    Peveler, Matthew
    Maicus, Evan
    Cutler, Barbara
    SIGCSE 2020: PROCEEDINGS OF THE 51ST ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2020, : 1373 - 1373
  • [24] Automated Web-Based Geoprocessing of Rental Prices
    Schernthanner, Harald
    Steppan, Sebastian
    Kuntzsch, Christian
    Borg, Erik
    Asche, Hartmut
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2017, PT IV, 2017, 10407 : 512 - 524
  • [25] Web-Based Data Processing System for Automated Detection of Oscillations with Applications to the Solar Atmosphere
    R. A. Sych
    V. M. Nakariakov
    S. A. Anfinogentov
    L. Ofman
    Solar Physics, 2010, 266 : 349 - 367
  • [26] Web-Based Data Processing System for Automated Detection of Oscillations with Applications to the Solar Atmosphere
    Sych, R. A.
    Nakariakov, V. M.
    Anfinogentov, S. A.
    Ofman, L.
    SOLAR PHYSICS, 2010, 266 (02) : 349 - 367
  • [27] Specification for Designing Web-Based Training Courses and an Application Model Based on IT
    Kuciapski, Michal
    INFORMATION SYSTEMS DEVELOPMENT: CHALLENGES IN PRACTICE, THEORY AND EDUCATION, VOLS 1AND 2, 2009, : 879 - 887
  • [28] Web-based visualization of processes: Applications
    Malandrino, D
    Meo, G
    Palmieri, G
    Scarano, V
    2001 IEEE FOURTH WORKSHOP ON MULTIMEDIA SIGNAL PROCESSING, 2001, : 383 - 388
  • [29] Interoperability in Web-Based Geospatial Applications
    Sikder, Iftikhar U.
    Gangopadhyay, Aryya
    Shampur, Nikhil V.
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2008, 3 (03) : 66 - 88
  • [30] Assuring quality of web-based applications
    Zhu, Hong
    Kung, David
    INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (12) : 1135 - 1136
12345