The RAISE specification language
著者
書誌事項
The RAISE specification language
(BCS practitioner series)
Prentice Hall, 1992
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より