Using Z : specification, refinement, and proof
著者
書誌事項
Using Z : specification, refinement, and proof
(Prentice-Hall International series in computer science)
Prentice Hall, 1996
大学図書館所蔵 件 / 全17件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index
Some printings published: Harlow ; Tokyo : Pearson Education
内容説明・目次
内容説明
This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published.
Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html
目次
Introduction.
Propositional Logic.
Predicate Logic.
Equality and Definite Description.
Sets.
Definitions.
Relations.
Functions.
Sequences.
Free Types.
Schemas Schema Operators.
Promotion, Preconditons.
Data Refinement.
Relaxing and Unwinding Data Refinement and Z.
Applications of Data Refinement.
The Refinement Calculus.
A File System.
A Telecommunications Protocol.
An Operating System Scheduler: A Bounded Buffer Module.
An Unordered Set Module.
A Save Area.
Solutions to Exercises.
Appendices.
Bibliography.
Index.
「Nielsen BookData」 より