RSL
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].
Nearby terms:
RS flip-flop « rsh « RSI « RSL » RSN » RSS »
rstat
|