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 |
