Concurrent contracts for java in JML

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2008, Pages 37-46

  Araujo, Wladimir ^a,c   Briand, Lionel ^b   Labiche, Yvan ^c  

^a JUNIPER NETWORKS   (United States)

^b UNIVERSITY OF OSLO   (Norway)

^c CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT NEEDS; CONCURRENT PROGRAM; DESIGN BY CONTRACTS; INDUSTRIAL SOFTWARE; JAVA MODELING LANGUAGE; JAVA PROGRAM; LARGE SIZES; MULTIPLE THREADS; OBJECT ORIENTED SOFTWARE; SAFETY PROPERTY; SEQUENTIAL PROGRAMS; SHARED DATA; SOFTWARE DEVELOPMENT METHODOLOGIES;

COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; LINGUISTICS; OBJECT ORIENTED PROGRAMMING; SOFTWARE RELIABILITY; SPECIFICATION LANGUAGES; SPECIFICATIONS;

JAVA PROGRAMMING LANGUAGE;

EID: 67249114451     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2008.9     Document Type: Conference Paper

References (19)

1. Agrawal R., Sasturkar A., Wang L. and Stoller S. D., "Optimized Run-Time Race Detection And Atomicity Checking Using Partial Discovered Types," Proc. ASE, pp. 233-242, 2005.
2. America P., "Inheritance and Subtyping in a Parallel Object-Oriented Language," Proc. ECOOP, LNCS 276, pp. 234-242, 1987.
3. Araujo W., Briand L. and Labiche Y., "Concurrent Contracts for Java in JML," Carleton University, Technical Report SCE-07-11, http://squall.sce.carleton.ca/, 2007.
4. Arnold K., Gosling J. and Holmes D., The Java Programming Language, Addison-Wesley, 2000.
5. Arslan V., Eugster P., Nienaltowski P. and Vaucouleur S., "SCOOP - concurrency made easy," in B. Meyer, A. Schiper, and J. Kohlas, Eds., Dependable Systems: Software, Computing, Networks, vol.LNCS 4028, pp. 82-102, 2006. (Pubitemid 351150266)
6. Briand L. C., Labiche Y. and Sun H., "Investigating the Use of Analysis Contracts to Improve the Testability of Object-Oriented Code," SPE, 33 (7), pp. 637-672, 2003.
7. Cheon Y. and Leavens G. T., "A Runtime Assertion Checker for the Java Modeling Language," Proc. Software Engineering Research and Practice, pp. 322-328, 2002.
8. Cheon Y., Leavens G. T., Sitaraman M. and Edwards S., "Model Variables: Cleanly supporting Abstraction in Design By Contract," SPE, 35 (6), pp. 583-599, 2005.
9. Dhara K. and Leavens G. T., "Forcing Behavioural Subtyping Through Specification Inheritance," Proc. ICSE, pp. 258-267, 1996.
10. Flanagan C. and Freund S. N., "Atomizer: a dynamic atomicity checker for multithreaded programs," Proc. ACM SIGPLAN/SIGACT POPL, pp. 256-267, 2004.
11. Jacobs B., Leino R. M., Piessens F. and Schulte W., "Safe concurrency for aggregate objects with invariants," Proc. ICSE, pp. 137-147, 2005.
12. Jacobs B., Leino R. M. and Schulte W., "Verification of Multithreaded Object-Oriented Programs with Invariants," Proc. ACM Specification and Verification of Component Based Systems, pp. 2-9, 2004.
13. Leavens G. T., Baker A. L. and Ruby C., "Preliminary design of JML: A behavioral interface specification language for Java," ACM SIGSOFT Software Engineering Notes, vol.31 (3), pp. 1-38, 2006.
14. Leavens G. T. and Müller P., "Information Hiding and Visibility in Interface Specifications," Department of Computer Science, Iowa State University, Technical Report 06-28, 2006.
15. Leavens G. T., Poll E., Clifton C., Cheon Y., Ruby C., Cok D., Müller P. and Kiniry J., "JML Reference Manual," Department of Computer Science, Iowa State University, http://www.jmlspecs.org, 2007.
16. Liskov B. H. and Wing J. M., "A Behavioral Notion of Subtyping," ACM Transactions on Programming Languages and Systems, vol.16 (6), pp. 1811-1841, 1994.
17. Meyer B., "Design by Contracts," IEEE Computer, vol.25 (10), pp. 40-52, 1992.
18. Nienaltowski P. and Meyer B., "Contracts for concurrency," Proc. International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages, 2006.
19. Rodríguez E., Dwyer M., Flanagan C., Hatcliff J., Leavens G. T. and Robby, "Extending JML for Modular Specification and Verification of Multi-threaded Programs," Proc. ECOOP, LNCS 3586, pp. 551-576, 2005. (Pubitemid 41435997)