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





< Previous Terms Terms Containing RSL Next Terms >
Réseaux Associés pour la Recherche Européenne
Réseaux IP Européens
RS flip-flop
rsh
RSI
ASPIK
compiler-compiler
Parsley
RAISE
TLAs
RSN
RSS
rstat
RSTS/E
RSVP