Publisher's Synopsis
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.
