The SPECTRUM project concentrates on the process of developing well-structured, precise system specifications. SPECTRUM is a specification 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.
In Proc. of HOA'93, the 1st International Workshop on Higher-Order
Algebra, Logic, and Term Rewriting, Amsterdam, 1993.