1. Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study
- Author
-
Frédéric Rioux and Patrice Chalin
- Subjects
Design by Contract ,General Computer Science ,Java ,Scala ,Computer science ,Design by contract ,computer.software_genre ,Theoretical Computer Science ,Extended Static Checking ,Real time Java ,Extended static checking ,Web application ,Web-based Enterprise Application ,Java applet ,computer.programming_language ,business.industry ,Programming language ,strictfp ,Generics in Java ,Java concurrency ,Java API for XML-based RPC ,TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ,Java Modeling Language ,business ,Java annotation ,computer ,Computer Science(all) - Abstract
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.
- Full Text
- View/download PDF