The Requirement and Design Specification Language SPECTRUM An Informal Introduction Version 1.0

This paper gives a short introduction to the algebraic specification language SPECTRUM. Using simple, well-known examples, the objectives and concepts of SPECTRUM are explained.

The SPECTRUM language. is based on axiomatic specification techniques and is oriented towards functional programs. SPECTRUM includes the following features:

• partial functions, definedness logic and fixed point theory
• higher-order elements and typed lambda-abstraction
• non-strict functions and infinite objects
• full first-order predicate logic with induction principles
• predicative polymorphism with sort classes
• parameterization and modularization

Specification, language, semantics, polymorphism

@techreport{BFG+93a,
   author = {M. Broy and C. Facchi and R. Grosu and R. Hettler and H. Hussmann and D. Nazareth and F. Regensburger and O. Slotosch and K. St{\o}len},
   institution = {Technische Universit{\"a}t M{\"u}nchen. Institut f{\"u}r Informatik},
   month = may,
   number = {TUM-I9311},
   title = {The {R}equirement and {D}esign {S}pecification {L}anguage {{\sc {S}pectrum}}. {A}n {I}nformal {I}ntroduction. {V}ersion 1.0. {P}art {I}},
   year = {1993},
   uri =  {"http://www4.informatik.tu-muenchen.de/proj/korso/papers/v10.html"}
}

@techreport{BFG+93b,
   author = {M. Broy and C. Facchi and R. Grosu and R. Hettler and H. Hussmann and D. Nazareth and F. Regensburger and O. Slotosch and K. St{\o}len},
   institution = {Technische Universit{\"a}t M{\"u}nchen. Institut f{\"u}r Informatik},
   month = may,
   number = {TUM-I9312},
   title = {The {R}equirement and {D}esign {S}pecification {L}anguage {{\sc {S}pectrum}}. {A}n {I}nformal {I}ntroduction. {V}ersion 1.0. {P}art {II}},
   year = {1993},
   uri =  { "http://www4.informatik.tu-muenchen.de/proj/korso/papers/v10.html"}
}