Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
RSL
Jump to user comments
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.