Bloomsbury Home
- Home
- ACADEMIC
- Computer & Information Science
- Formal Specification using Z
Formal Specification using Z
For information on how we process your data, read our Privacy Policy
Thank you. We will email you when this book is available to order
You must sign in to add this item to your wishlist. Please sign in or create an account
Description
Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification.
Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.
Table of Contents
Introduction
Sets
Using Sets to Describe a System a Simple Example
Logic
The Example Extended
Schemas
Example of a Z Specification Documents
Predicates and Quantifiers
Relations
Functions
A Seat Allocation System
Sequences
An Example of Sequences The Aircraft Example Again
Extending a Specification
Hints on Creating Specifications
Example Specifications
Appendix 1: Collected Notation
Appendix 2: Solutions to the Exercises.
Product details
Published | 06 Dec 2000 |
---|---|
Format | Paperback |
Edition | 2nd |
Extent | 176 |
ISBN | 9780333763278 |
Imprint | Red Globe Press |
Dimensions | Not specified |
Series | Grassroots |
Publisher | Bloomsbury Publishing |