Formal Specification Techniques for Object-Oriented Programs

In: Jarke, M. and Pasedach, K. and Pohl, K.ed., Informatik 97: Informatik als Innovationsmotor. Informatik Aktuell, Available, 1997

Authors

• Peter Müller
• Arnd Poetzsch-Heffter

Abstract

Specification techniques for object-oriented programs relate the operational world of programs to the declarative world of specifications. We present a formal foundation of interface specification languages. Based on the formal foundation, we develop new specification techniques to describe functional behavior, invariants, and side-effects. Furthermore, we discuss the influence of program extensions on program correctness.

Full Text

• PDF: atps97.pdf
• PS.GZ: atps97.ps.gz

BibTeX

@InProceedings{Mueller.Poetzsch-Heffter97formal, 
   author = {Peter Müller and Arnd Poetzsch-Heffter}
   title = {Formal Specification Techniques for Object-Oriented Programs},
   booktitle = {Informatik 97: Informatik als Innovationsmotor},
   series = {Informatik Aktuell},
   publisher = {Springer-Verlag},
   note = {Available},
   year = {1997},
}