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 条
  • [31] WEB-based cooperation with BSCW:: A case study
    Klöckner, K
    PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 444 - 450
  • [32] The Case Study activities in a Web-based Environment
    Huang Lanying
    Hu Zhongya
    Cheng Sun
    PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 1104 - +
  • [33] IMPROVING DATA QUALITY OF HEALTH SURVEYS THROUGH WEB-BASED EXPERIMENTS
    Fowler, Stephanie
    Willis, Gordon
    Moser, Richard
    Ferrer, Rebecca
    Berrigan, David
    ANNALS OF BEHAVIORAL MEDICINE, 2017, 51 : S236 - S237
  • [34] Claims-Based Authentication for a Web-Based Enterprise
    Chandersekaran, Coimbatore
    Simpson, William R.
    WORLD CONGRESS ON ENGINEERING - WCE 2013, VOL II, 2013, : 1204 - 1209
  • [35] A Web-Based Enterprise Application Integration Solution
    Ji, Xiaogang
    2009 2ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, VOL 3, 2009, : 135 - 138
  • [36] Model Checking Web Applications Based On Web Navigation
    Jiang, Mingyue
    Ding, Zuohua
    2010 INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT (CCCM2010), VOL III, 2010, : 694 - 697
  • [37] Protection of Web-based Applications
    Dolezel, Radek
    Humpolik, Jan
    KNOWLEDGE IN TELECOMMUNICATION TECHNOLOGIES AND OPTICS 2010 (KTTO 2010), 2010, : 103 - 106
  • [38] Applications of web-based workflow
    Ames, C
    Burleigh, S
    Mitchell, S
    Huynh, T
    PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL I: COLLABORATION SYSTEMS AND TECHNOLOGY TRACK, 1998, : 79 - 87
  • [39] Facilitating the Design/Evaluation Process of Web-based Geographic Applications: A Case Study with WINDMash
    The Nhan Luong
    Marquesuzaa, Christophe
    Etcheverry, Patrick
    Nodenot, Thierry
    Laborie, Sebastien
    FUTURE DATA AND SECURITY ENGINEERING, FDSE 2015, 2015, 9446 : 259 - 271
  • [40] Just Do It: Fast and Easy Mobilization of Spot Tasks in Web-based Enterprise Applications
    Moravapalle, Uma Parthavi
    Sivakumar, Raghupathy
    HOTMOBILE'18: PROCEEDINGS OF THE 19TH INTERNATIONAL WORKSHOP ON MOBILE COMPUTING SYSTEMS & APPLICATIONS, 2018, : 69 - 74
12345