Abstract
Executable interface specification languages allow for expressive documentation and efficient testing and debugging. Since they are based on expressions of the underlying programming language, they can easily be applied by programmers without requiring mathematical skills. In this paper, we present the core of an executable interface specification language for Java. Its main contributions are an extensive coverage of side-effects on object structures, and a clean semantics. The presented techniques can be implemented without modifications to the Java compiler or the virtual machine.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. Fischer and D. Meemken. JaWa: Java with assertions. In C. H. Cap, editor, JIT ’98 Java-Informations-Tage 1998. Springer-Verlag, 1998.
J. V. Guttag and J. J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98–06c, Iowa State University, Department of Computer Science, January 1999.
D. C. Luckham. Programming with Specifications: An Introduction to Anna. A Language for Specifying Ada Programs. Springer-Verlag, 1990.
B. Meyer. Design by contract. In D. Mandrioli and B. Meyer, editors, Advances in object-oriented software engineering. Prentice Hall, 1992.
B. Meyer. Eiffel: The Language. Prentice Hall, 1992.
P. Müller and A. Poetzsch-Heffter. Modular specification and verification techniques for object-oriented software components. In G. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems. Cambridge University Press, 1999. (to appear).
P. Müller. Specification and implementation of an annotation language for an object-oriented programming language. Master’s thesis, Technische Universität München, 1995. (In German).
A. Poetzsch-Heffter . Specification and verification of object-oriented programs. Habilitation thesis, Technical University of Munich, Jan. 1997. http://www.informatik.fernuni-hagen.de/pi5/publications.htm
Sun. Java developer connection. Available from http://java.sun.com/jdc.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Müller, P., Meyer, J., Poetzsch-Heffter, A. (1999). Making Executable Interface Specifications More Expressive. In: Cap, C.H. (eds) JIT’99. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60247-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-60247-4_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66464-2
Online ISBN: 978-3-642-60247-4
eBook Packages: Springer Book Archive