𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using Z.Specification,refinement,and proof

✍ Scribed by Jim Woodcock, Jim Davies

Book ID
127458870
Publisher
Prentice Hall
Year
1996
Tongue
English
Weight
5 MB
Series
Prentice-Hall International Series in Computer Science
Category
Library
ISBN
0139484728

No coin nor oath required. For personal study only.

✦ Synopsis

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

πŸ“œ SIMILAR VOLUMES

Rigorous specification using structured
Rigorous specification using structured systems analysis and Z
✍ KC Mander; FAC Polack πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 830 KB

This paper describes the rationale for integrating a structured systems analysis method (SSADM, version 4) and a formal notation (Z). It introduces the SAZ Method and shows how this can be used to add rigour to the specification of the system state and processing in SSADM. The paper concludes by sum

Viewpoint specification and Z
Viewpoint specification and Z
✍ M Ainsworth; A.H Cruickshank; P.J.L Wallis; L.J Groves πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 800 KB