Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study

被引：3
|
作者：
Rioux, Frederic [1 ]
Chalin, Patrice [1 ]
机构：
[1] Concordia Univ, Dept Comp Sci & Software Engn, DSRG, Montreal, PQ, Canada
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 157卷 / 02期
关键词：
Web-based Enterprise Application; Extended Static Checking; Design by Contract; !text type='Java']Java[!/text] Modeling Language;
D O I：
10.1016/j.entcs.2005.12.050
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
ESC/Java2 is a tool that statically detects errors in Java programs and that uses the Java Modeling Language (JML) as its annotation language. ESC/Java2 can modularly reason about the code of a Java Web-based Enterprise Application (WEA) and uncover potential errors. In this paper, we assessed the effectiveness of ESC/Java2 at helping developers increase WEA quality by detecting design and implementation issues.
引用
收藏
页码：119 / 132
页数：14
相关论文
共 50 条
  • [21] Improving Safety and Quality in Radiotherapy Using Web-Based Learning
    Gilley, D.
    Dunscombe, P.
    Holmberg, O.
    MEDICAL PHYSICS, 2017, 44 (06) : 3067 - 3067
  • [22] Improving retention rate and response quality in Web-based surveys
    Sanchez-Fernandez, Juan
    Munoz-Leiva, Francisco
    Javier Montoro-Rios, Francisco
    COMPUTERS IN HUMAN BEHAVIOR, 2012, 28 (02) : 507 - 514
  • [23] New web-based applications for mechanistic case diagramming
    Dee, Fred R.
    Haugen, Thomas H.
    Kreiter, Clarence D.
    MEDICAL EDUCATION ONLINE, 2014, 19 : 24708
  • [24] Open Source in Web-Based Applications: A Case Study on Single Sign-On
    Ardagna, Claudio Agostino
    Frati, Fulvio
    Gianini, Gabriele
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2006, 1 (03) : 81 - 94
  • [25] Improving web-based civic information access: A case study of the 50 US states
    Ceaparu, I
    Shneiderman, B
    SOCIAL IMPLICATIONS OF INFORMATION AND COMMUNICATION TECHNOLOGY, PROCEEDINGS, 2002, : 275 - 282
  • [26] MaJaB: Improving Resource Management for Web-Based Applications on Mobile Devices
    Li, Du
    Anand, Manish
    MOBISYS'09: PROCEEDINGS OF THE 7TH ACM INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS, APPLICATIONS, AND SERVICES, 2009, : 95 - 108
  • [27] Towards a multidimensional model for web-based applications quality assessment
    Malak, G
    Adri, LB
    Badri, M
    Sahraoui, H
    E-COMMERCE AND WEB TECHNOLOGIES, 2004, 3182 : 316 - 327
  • [28] Assessing the quality of web-based applications via navigational structures
    Chang, WK
    Hon, SK
    IEEE MULTIMEDIA, 2002, 9 (03) : 22 - 30
  • [29] Web-based research on applications in gastroenterology -: Aspects of quality control
    Ose, C
    Hirche, H
    Jöckel, KH
    Küppers, B
    Warth, L
    Rammler, B
    MEDICAL INFOBAHN FOR EUROPE, PROCEEDINGS, 2000, 77 : 348 - 352
  • [30] Web-based image retrieval with a case study
    Liu, Y
    Zhang, DQ
    WEB TECHNOLOGIES AND APPLICATIONS, 2003, 2642 : 394 - 405
12345