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

Frédéric Rioux | Zendy; Patrice Chalin | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Frédéric Rioux,

Patrice Chalin

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.12.050

Subject(s) - computer science , java , programming language , software engineering , web application , quality (philosophy) , code (set theory) , real time java , java modeling language , java annotation , world wide web , philosophy , set (abstract data type) , epistemology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research