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, non-deterministic. 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].

Acronym: RAISE

(03 Feb 2009)

Réseaux IP Européens, RS flip-flop, rsh, RSI < Prev | Next > RSN, RSP, Rsr1p(Bud1p) GTPase, RSS

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums