RSL

RAISE Specification Language. (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, 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].