Rudi Hettler

Learn More
This paper gives a short introduction to the algebraic speciication language Spectrum. Using simple, well-known examples, the objectives and concepts of Spectrum are explained. The Spectrum language is based on axiomatic speciication techniques and is oriented towards functional programs. Spectrum includes the following features: partial functions,(More)
The SysLab method Pae95], which is currently under development at the Tech-nische Universitt at M unchen, provides description techniques for the early phases of software engineering (requirements analysis, requirements deenition and deeni-tion of the logical architecture). This report presents the techniques provided by the method for describing data. It(More)
  • 1