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