RAISE Specification Language

Computing Dictionary

RAISE Specification Language definition

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)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: raise roof
Next Definition: raise the ante
More from Thesaurus.com
Synonyms and Antonyms for raise specification language
More from Reference.com
Search for articles containing raise specification language
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature