Back to Search
Start Over
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study
- Source :
- Electronic Notes in Theoretical Computer Science. (2):119-132
- Publisher :
- Elsevier B.V.
-
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.
- 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)
Subjects
Details
- Language :
- English
- ISSN :
- 15710661
- Issue :
- 2
- Database :
- OpenAIRE
- Journal :
- Electronic Notes in Theoretical Computer Science
- Accession number :
- edsair.doi.dedup.....b0702b23049ab575419bd68473a7cd78
- Full Text :
- https://doi.org/10.1016/j.entcs.2005.12.050