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].