The RAISE Specification Language
The RAISE Language Group:
Chris George,
Peter Haff,
Klaus Havelund,
Anne E. Haxthausen,
Robert Milne,
Claus Bendix Nielsen,
Søren Prehn,
Kim Ritter Wagner
BCS Practitioner Series, Prentice Hall, 1992. ISBN: 0-13-752833-7
The book is out of print, but available from Terma (jnp@terma.com).
The book consists of an RSL tutorial and an RSL reference description. The tutorial contains a detailed introduction to the RAISE Specification Language (RSL). This is intended for self-study as well as a basis for training courses. The reference description defines the RAISE Specification Language (RSL) in detail.
The RAISE Development Method
The RAISE Method Group:
Chris George,
Anne E. Haxthausen,
Steven Hughes,
Robert Milne,
Søren Prehn,
Jan Storbank Pedersen
BCS Practitioner Series, Prentice Hall, 1995. ISBN: 0-13-752700-4
The book is out of print, but can be downloaded for free from ftp://ftp.iist.unu.edu/pub/RAISE/method_book
The book, intended for study, training and reference purposes, details how specification, development, verification and validation and translation are carried out using RAISE. It is also meant to serve as a handbook for people wanting to justify properties of RSL specifications. The book describes a syntax for RAISE justifications and provides formal proof rules which may be used in justifications.