Rsl

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

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