RAISE Specification Language
Also found in: Dictionary, Thesaurus, Legal, Financial, Acronyms.
RAISE Specification Language
(language)(RSL) (RAISE = Rigorous Approach to Industrial
Software Engineering). A wide-spectrum specification and
design language developed by ESPRIT Project 315 at CRI
A/S, Denmark. Systems may be modular, concurrent and
nondeterministic. Specifications may be applicative or
imperative, explicit or implicit, abstract or concrete.
["The RAISE Specification Language", RAISE Language Group, P-H 1992, ISBN 0-13-752833-7].
["The RAISE Specification Language", RAISE Language Group, P-H 1992, ISBN 0-13-752833-7].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)