raise specification language

from The Free On-line Dictionary of Computing (8 July 2008)

RAISE Specification Language
RSL

   <language> (RSL) (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} and
   {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].

   (2007-10-02)