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


Read Also:

  • Raise the ante

    Increase the price or cost of something, as in We’d hoped to invest in some land, but they’ve raised the ante and now we can’t afford it. This term alludes to the ante or stakes of gambling. [ ; late 1800s ]

  • Raise the curtain

    1. Also, lift the curtain. 2. Begin or start, as in It’s time to raise the curtain, guys—start shoveling. 3. Make something public, disclose. In this sense, both terms often occur with on, as in We won’t know what the new design is until they lift the curtain on it. Both usages, from the mid-1700s, […]

  • Raising

    [rey-zing] /ˈreɪ zɪŋ/ noun, Linguistics. 1. a rule of transformational grammar that shifts the subject or object of an embedded clause into the subject or object position of the main clause, as in the derivation of The suspect appears to be innocent from It appears that the suspect is innocent. [reyz] /reɪz/ verb (used with […]

  • Raisin

    [rey-zin] /ˈreɪ zɪn/ noun 1. a grape of any of various sweet varieties dried in the sun or by artificial means, often used in cookery. 2. dark purplish blue. /ˈreɪzən/ noun 1. a dried grape n. “dried sweet grape,” c.1300, from Anglo-French raycin (late 13c.), Old French raisin “grape; raisin,” from Vulgar Latin *racimus, alteration […]

Disclaimer: Raise specification language definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.