This book provides a thorough definition of the RAISE (Rigorous Approach to Industrial Software Engineering) Specification Language. It shows how specifications may be written in any of the styles permitted by RSL - applicative or imperative, sequential or concurrent, direct (explicit) or axiomaitc (implicit), with abstract data types (algebraic) or with concrete data types (model-oriented). Each combination of paradigmatic styles fit specific external contexts and also allows for a progression of increasingly concrete designs. Written with a tutorial section meant for self-study as well as a reference section, this book is designed for those who use or who plan to use RAISE as well as for those who would like to explore formal methods and specification. It includes numerous examples of the use of RSL, and a comprehensive index.
- ISBN10 0137528337
- ISBN13 9780137528332
- Publish Date 1 March 1992
- Publish Status Out of Print
- Out of Print 31 October 2009
- Publish Country GB
- Publisher Pearson Education Limited
- Imprint Prentice-Hall
- Format Paperback
- Pages 432
- Language English