Language peer sets for RSL:
Designed 1992 ↑
1990s languages ↑
RSL(ID:1706/rsl001)alternate simple view
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.
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder