The Semantics of SPECTRUM

Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calculus and a development methodology. An informal presentation of the Spectrum language with many examples illustrating its properties is given in 2, 3]. The purpose of this article is to describe its formal semantics.

• Type: Conference
• Year: 1993
• Where: HOA
• Authors: Radu Grosu, Franz Regensburger
• Keywords: HOA 1993, Speci Cation, Speci Cation Language, Spectrum, Theoretical Computer Science