Rudi Hettler

Learn More
This paper gives a short introduction to the algebraic speci cation language Spectrum. Using simple, well-known examples, the objectives and concepts of Spectrum are explained. The Spectrum language is based on axiomatic speci cation techniques and is oriented towards functional programs. Spectrum includes the following features: partial functions, de(More)
The goal of this paper is to present a way of developing software within the axiomatic spec i cation language Spectrum We advocate a development approach which is organized in four stages requirement speci cation design speci cation executable speci cation and functional program The concept of AVL trees serves as example for presenting this ap proach
  • 1