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 条
  • [11] Study and Design of Web-Based Enterprise Services Integration
    Yang Yiping
    Wu Zhuang
    2009 2ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, VOL 4, 2009, : 595 - 598
  • [12] A novel approach of networked manufacturing collaboration: fractal web-based extended enterprise
    Dong, HZ
    Liu, DX
    Zhao, YW
    Chen, Y
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2005, 26 (11-12): : 1436 - 1442
  • [13] A novel approach of networked manufacturing collaboration: fractal web-based extended enterprise
    Dong Hongzhao
    Liu Dongxu
    Zhao Yanwei
    Chen Ying
    The International Journal of Advanced Manufacturing Technology, 2005, 26 : 1436 - 1442
  • [14] Development of mobile applications from existing Web-based enterprise systems
    Barroca Filho, Itamir de Morais
    Aquino Junior, Gibeon Soares
    INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, 2015, 11 (02) : 162 - 182
  • [15] Modeling Web-based applications quality: A probabilistic approach
    Malak, Ghazwa
    Sahraoui, Houari
    Badri, Linda
    Badri, Mourad
    WEB INFORMATION SYSTEMS - WISE 2006, PROCEEDINGS, 2006, 4255 : 398 - 404
  • [16] Guidelines to Determine Quality for Web-based Software Applications
    Lew, Philip
    Zhang, Li
    Wang, Shouxin
    Jiang, Wei
    2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2, 2008, : 709 - 714
  • [17] Web-based surveys: A case study
    Truran, WR
    TECHNICAL MANAGEMENT: KEY TO ENTERPRISE SUCCESS IN THE 21ST CENTURY, 2000, : 401 - 406
  • [18] Managing the Web-based enterprise.
    Ziener, C
    LIBRARY JOURNAL, 2000, 125 (16) : 140 - 140
  • [19] Web-based enterprise management architecture
    Thompson, JP
    IEEE COMMUNICATIONS MAGAZINE, 1998, 36 (03) : 80 - 86
  • [20] Improving the Quality of Web-Based Data Imputation With Crowd Intervention
    Gu, Binbin
    Li, Zhixu
    Liu, An
    Xu, Jiajie
    Zhao, Lei
    Zhou, Xiaofang
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2021, 33 (06) : 2534 - 2547
12345