RSL

RAISE Specification Language. (RAISE=Rigorous Approach to Industrial Software Engineering).

A wide-spectrum specification and design language. Systems may be modular, concurrent, nondeterministic. Specifications may be applicative or imperative, explicit or implicit, abstract or concrete. ESPRIT Project 315, CRI A/S, Denmark.

The RAISE Specification Language, RAISE Language Group, Prentice-Hall, 1992, ISBN 0-13-752833-7.