RAISE Specification Language

Also found in: Dictionary, Thesaurus, Legal, Financial, Acronyms.

RAISE Specification Language

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

Mentioned in ?

Full browser ?

▲
raise somebody's voice
raise someone from
raise someone from the dead
raise someone on
raise someone out of
raise someone to
raise someone to the surface
raise someone up
raise someone with
raise someone's hackles
raise someone's hopes
raise someone's hopes
raise someone's hopes
raise someone's hopes
raise someone's hopes
raise someone's hopes
raise someone's hopes
raise someone's spirits
raise someone's spirits
raise someone's spirits
raise someone's spirits
raise someone's spirits
raise something from
raise something from the dead
raise something on
raise something out of
raise something to
raise something to the surface
raise something up
raise something with
RAISE Specification Language
Raise Specification Language Editor
raise specious objection to
raise spirits
raise spirits
raise standard
raise standard
raise standard
raise standard
raise taxes
Raise the Alarm
raise the ante
raise the ante
raise the ante
raise the ante
raise the ante
raise the ante, to
raise the bar
raise the curtain
raise the curtain (on something)
raise the curtain on
raise the curtain on something
raise the devil
raise the devil with
raise the devil with (someone or something)
raise the devil with someone
raise the devil with something
raise the dickens
raise the dickens with
raise the dickens with (someone or something)
raise the dickens with someone
▼

CITE

Site: Follow: Share:

Open / Close