RAISE Specification Language


RAISE Specification Language

(language)(RSL) (RAISE = Rigorous Approach to IndustrialSoftware Engineering). A wide-spectrum specification anddesign language developed by ESPRIT Project 315 at CRIA/S, Denmark. Systems may be modular, concurrent andnondeterministic. Specifications may be applicative orimperative, explicit or implicit, abstract or concrete.

["The RAISE Specification Language", RAISE Language Group, P-H1992, ISBN 0-13-752833-7].