BibTeX
@MISC{Grosu_thelogical,
author = {Radu Grosu and Franz Regensburger},
title = {The Logical Framework of SPECTRUM },
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 [BFG+93a, BFG+93b]. The purpose of this article is to describe its formal semantics.
