Jass - Java with assertions

Electronic Notes in Theoretical Computer Science

Volumn 55, Issue 2, 2001, Pages 103-117

  Bartetzko, Detlef ^a   Fischer, Clemens ^b   Möller, Michael ^c   Wehrheim, Heike ^c  

^a Atanion GmbH   (Germany)

^b BTC Business Technology Consulting AG   (Germany)

^c UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER PROGRAM LISTINGS; CONTRACTS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS;

DESIGN BY CONTRACT (DBC); JAVA PROGRAMS; PROGRAM EXECUTION; TRACE ASSERTIONS;

JAVA PROGRAMMING LANGUAGE;

EID: 19144368375     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00247-6     Document Type: Conference Paper

References (26)

1. America, P., Designing an object-oriented programming language with behavioural subtyping, in: J. de Bakker, W. de Roever and G. Rozenberg, editors, REX Workshop: Foundations of Object-Oriented Languages, number 489 in LNCS (1991)
2. Apt K.-R., Olderog E.-R. "Verification of Sequential and Concurrent Programs," 2nd edition :1997;Springer-Verlag
3. Bartetzko D., "Parallelität und Vererbung beim "Programmieren mit Vertrag"," Master's thesis, Universität Oldenburg (1999), in German.
4. Clarke E., E. Emerson and A. Sistla, Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach, in: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, ACM, 1983, pp. 117-126.
5. Corbett J., M. Dwyer, J. Hatcliff and Robby, A language framework for expressing checkable properties of dynamic software, in: SPIN 2000, number 1885 in LNCS (2000), pp. 205-223.
6. de Roever W.-P., Engelhardt K. "Data Refinement - Model-Oriented Proof Methods and their Comparison," 1998;Cambridge University Press
7. Detlefs D., R. Leino, G. Nelson and J. Saxe, Extended static checking, Technical Report 159, Compaq Systems Research Center (1998).
8. Dhara, K. K. and G. T. Leavens, Forcing behavioral subtyping through specification inheritance, in: Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany (1996), pp. 258-267.
9. Fischer C. CSP-OZ: A combination of Object-Z and CSP. Bowman H., Derrick J. Formal Methods for Open Object-Based Distributed Systems (FMOODS '97). 1997;423-438 IFIP
10. Fischer C., "Combination and Implementation of Processes and Data: From CSP-OZ to Java," Ph.D. thesis, University of Oldenburg (2000).
11. Hoare C.A.R. An axiomatic basis for computer programming. Comm. of the ACM. 12:1969;576-580
12. Hoare C.A.R. "Communicating Sequential Processes," 1985;Prentice Hall
13. Holzmann G.J. "Design and Validation of Computer Protocols," 1990;Prentice Hall
14. Huisman M. and B. Jacobs, Java program verification via a Hoare logic with abrupt termination, in: T. Maibaum, editor, FASE 2000: Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science 1783 (2000), pp. 284-303.
15. Huzing K., R. Kuuiper and SOOP, Verification of object-oriented programs using class invariants, in: T. Maibaum, editor, FASE 2000: Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science 1783 (2000), pp. 208-221.
16. Kramer R., iContract - the Java Design by Contract tool, Technical report, Reliable Systems (1998), http://www.reliable-systems.com.
17. Leavens G., A. Baker and C. Ruby, Preliminary design of JML: A behavioral interface specification language for java, Technical report, Department of Computer Science, Iowa State University (1998, revised 2001).
18. Liskov B., Wing J. A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems. 16:1994;1811-1841
19. Luckham D., F. von Henke, B. Krieg-Brückner and O. Owe, "ANNA - A language for annotating Ada programs," Lecture Notes in Computer Science 260, Springer, 1987.
20. Meemken D., "Programmieren mit Vertrag in Java," Master's thesis, Universität Oldenburg (1997), in German.
21. Meyer B. "Object-Oriented Software Construction," 2nd edition :1997;ISE
22. Müller P., Poetzsch-Heffter A. Modular specification and verification techniques for object-oriented software components. Leavens G.T., Sitaraman M. Foundations of Component-Based Systems. 2000;Cambridge University Press. (to appear)
23. Plath M., "Trace Zusicherungen in Jass - Erweiterung des Konzepts "Programmieren mit Vertrag"," Master's thesis, Universität Oldenburg (2000), in German.
24. Sun Microsystems, A simple assertions facility for the Java programming language, http://jcp.org/jsr/detail/41.jsp.
25. Visser W., G. Brat, K. Havelund and S. Park, Model checking programs, in: International Conference on Automated Software Engineering, 2000.
26. Woodcock J., Davies J. "Using Z: Specification, Refinement, and Proof," 1996;Prentice-Hall International