Sciweavers

25
Voted
HOA
1993

The Semantics of SPECTRUM

14 years 2 months ago
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.
Radu Grosu, Franz Regensburger
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1993
Where HOA
Authors Radu Grosu, Franz Regensburger
Comments (0)