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

Electronic Notes in Theoretical Computer Science

Volumn 157, Issue 2 SPEC. ISS., 2006, Pages 119-132

  Rioux, Frédéric ^a   Chalin, Patrice ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

Design by Contract; Extended Static Checking; Java Modeling Language; Web based Enterprise Application

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; ERROR ANALYSIS; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS;

DESIGN BY CONTRACT; EXTENDED STATIC CHECKING; JAVA MODELING LANGUAGE; WEB-BASED ENTERPRISE APPLICATION;

WORLD WIDE WEB;

EID: 33646361565     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.050     Document Type: Article

References (20)

1. Burdy, L., Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G.T. Leavens, K.R.M. Leino and E. Poll, An overview of JML tools and applications, International Journal on Software Tools for Technology Transfer (STTT) (2004), to appear
2. URL. ftp://ftp.cs.iastate.edu/pub/leavens/JML/sttt04.pdf
3. Cok, D. R. and J.R. Kiniry, Esc/java2: Uniting esc/java and jml, in: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2004), pp. 108-128
4. Dhara, K. K. and G. T. Leavens, Forcing behavioral subtyping through specification inheritance, Technical Report 95-20c, Department of Computer Science, Iowa State University, Ames, Iowa, 50011 (1995)
5. URL. ftp://ftp.cs.iastate.edu/pub/techreports/TR95-20/TR.ps.gz
6. Esc/java2. URL. www.sos.cs.ru.nl/research/escjava/
7. Flanagan C., Leino K.R.M., Lillibridge L., Nelson G., Saxe J.B., and Stata R. Extended static checking for Java. ACM SIGPLAN Notices 37 (2002) 234-245
8. Fowler M. Patterns of Enterprise Application Architecture (2002), Addison Wesley
9. Johnson S. Lint, a c program checker. URL (1978). citeseer.ist.psu.edu/johnson78lint.html
10. Leavens G., and Cheon Y. Design by contract with jml. URL (2003). citeseer.lcs.mit.edu/leavens03design.html
11. Leavens, G. T., A. L. Baker and C. Ruby, Preliminary design of JML: A behavioral interface specification language for Java, Technical Report 98-06y, Iowa State University, Department of Computer Science (2004), see www.jmlspecs.org
12. URL. ftp://ftp.cs.iastate.edu/pub/techreports/TR98-06/TR.ps.gz
13. Leavens G.T., Leino K.R.M., Poll E., Ruby C., and Jacobs B. JML: notations and tools supporting detailed design in Java. OOPSLA 2000 Companion, Minneapolis, Minnesota (2000), ACM 105-106. ftp://ftp.cs.iastate.edu/pub/techreports/TR00-15/TR.ps.gz URL
14. Leino K.R.M. Extended static checking: A ten-year perspective. Lecture Notes in Computer Science vol. 2000 (2001). http://link.springer-ny.com/link/service/series/0558/bibs/2000/20000157.htm pp. 157-??. URL
15. Meyer B. Object-Oriented Software Construction. second edition (1997), Prentice-Hall, Englewood Cliffs. http://www.prenhall.com/allbooks/ptr_0136291554.html URL
16. Rodríguez, E., M. B. Dwyer, C. Flanagan, J. Hatcliff, G. T. Leavens and Robby, Extending sequential specification techniques for modular specification and verification of multi-threaded programs, Technical Report SAnToS-TR2004-10, Kansas State University, Department of Computing and Information Sciences (2004), to appear in ECOOP 2005
17. URL. http://spex.projects.cis.ksu.edu/papers/SAnToS-TR2004-10.pdf
18. Sun java servlet api documentation. URL. java.sun.com/j2ee/1.4/docs/api/javax/servlet/package-summary.html
19. Sun java sql api documentation. URL. java.sun.com/j2se/1.4.2/docs/api/java/sql/package-summary.html
20. Quarterly retail e-commerce sales 3rd quarter 2004. URL (2004). www.census.gov/mrts/www/data/html/3q2004.html