The RAISE Specification Language
Published on 1. March 1992
Book
Paperback/Softback
432 pages
978-0-13-752833-2 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Pearson Education Limited
Target group
Professional and scholarly
Dimensions
Height: 234 mm
Width: 176 mm
Weight
624 gr
ISBN-13
978-0-13-752833-2 (9780137528332)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Part 1 RSL tutorial: introduction to tutorial; some basic concepts; built-in types; products; bindings and typings; functions; sets; lists; maps; subtypes; variant definitions; case expressions; let expressions; union and short record definitions; under-specification and non-determinism; overloading and user-defined operators; variables and sequencing; expressions revisited; repetitive expressions; local expressions; algebraic definition of operations; post expressions; channels and communication; expressions revisited; comprehended expressions; algebraic definition of processes; modules; renaming and hiding; parameterized schemes; module nesting; object arrays; the name spec. Part 2 RSL Reference description: reference introduction; declarative constructs; scope and visibility rules; overloading; specification; declarations; class expressions; object expressions; type expressions; value expressions; bindings; typings; patterns; names; identifiers and operators; connectives; infix combinators.