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 条
  • [41] Attribute reduction algorithm of enterprise credit evaluation and its applications for web-based communities
    Cui X.
    Liu W.
    He Z.
    International Journal of Web Based Communities, 2021, 17 (04) : 293 - 304
  • [42] MetamorphosIS: A Process for Development of Mobile Applications from Existing Web-Based Enterprise Systems
    Barroca Filho, Itamir de Morais
    de Aquino Junior, Gibeon Soares
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, 2014, 8584 : 17 - 30
  • [43] Improving bottleneck in Web-based MORPG
    Kohana, Masaki
    Okamoto, Shusuke
    Kamada, Masaru
    Yonekura, Tatsuhiro
    2009 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS 1 AND 2, 2009, : 419 - 424
  • [44] Improving Translation Pedagogy through Web-based Translation Practice Platform: a case study in China
    Chen Qimin
    2011 INTERNATIONAL CONFERENCE ON ECONOMIC, EDUCATION AND MANAGEMENT (ICEEM2011), VOL I, 2011, : 354 - 357
  • [45] Web-based Quality management
    Schmidt, P.
    Schmidt, T.
    GEBURTSHILFE UND FRAUENHEILKUNDE, 2008, 68 : S153 - S153
  • [46] A course on Web languages and Web-based applications
    Sridharan, K
    IEEE TRANSACTIONS ON EDUCATION, 2004, 47 (02) : 254 - 260
  • [47] 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 - +
  • [48] Web-Based Applications quality factors: A survey and a proposed conceptual model
    Nabil, Doaa
    Mosad, Abeer
    Hefny, Hesham A.
    EGYPTIAN INFORMATICS JOURNAL, 2011, 12 (03) : 211 - 217
  • [49] THE ORCHESTRATION OF WEB-BASED SALES PROCESSES - A CASE STUDY
    Vidacic, Stjepan
    Tomicic-Pupek, Katarina
    Pihir, Igor
    ECONOMIC AND SOCIAL DEVELOPMENT (ESD), 2015, : 336 - 341
  • [50] A Case Study on Web-Based Information System Evaluation
    Tokdemir, Gul
    Bilgen, Semih
    Ercil, Yavuz
    PROCEEDINGS OF THE 8TH EUROPEAN CONFERENCE ON IS MANAGEMENT AND EVALUATION (ECIME 2014), 2014, : 244 - 252
12345