H ? « ‹ ← → › »

Language peer sets for RSL:
Denmark↑
Denmark/1992↑
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

RSL(ID:1706/rsl001)

alternate simple view
Country: Denmark
Designed 1992
Published: 1992

RAISE Specification Language.

(RAISE=Rigorous Approach to Industrial Software Engineering).

A wide-spectrum specification and design language. Systems may be modular, concurrent, nondeterministic. Specifications may be applicative or imperative, explicit or implicit, abstract or concrete. ESPRIT Project 315, CRI A/S, Denmark.
Related languages
RAISE → RSL   Alias
References:
  • George, Chris, et al (1992) George, Chris, et al "The RAISE Specification Language", P-H 1992, ISBN 0-13-752833-7.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder