Homepage>Publikationen>PublikationsDetail

Making Executable Interface Specifications More Expressive

In: Cap, C. H.ed., JIT '99 Java-Informations-Tage 1999. Informatik Aktuell, Available, 1999

Authors

Peter Müller
Jörg Meyer
Arnd Poetzsch-Heffter

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.

Full Text

PDF: jit99.pdf
PS.GZ: jit99.ps.gz

BibTeX

@InProceedings{Mueller.Meyer.EA99executable, 
   author = {Peter Müller and Jörg Meyer and Arnd Poetzsch-Heffter}
   title = {Making Executable Interface Specifications More Expressive},
   booktitle = {JIT '99 Java-Informations-Tage 1999},
   series = {Informatik Aktuell},
   publisher = {Springer-Verlag},
   note = {Available},
   year = {1999},
}

Einloggen