XWe have detected your location as outside the U.S/Canada, if you think this is wrong, you can choose your location.

Macmillan Higher Education

Cart

Continue Shopping
All prices are shown excluding Tax
The submitted promocode is invalid
Discount code already used. It can only be used once.
* Applied promocode: ×

Important information on your ebook order

Important information on your access card order

Formal Specification using Z (2nd Edition)

Author(s):
Publisher:

Red Globe Press

Pages: 176
Series:

Grassroots

Downloads:

Flyer

Sample chapter

Further Actions:

Recommend to library

Rights and permissions

AVAILABLE FORMATS

Paperback - 9780333763278

06 December 2000

$74.99

Free Shipping

In stock

All prices are shown excluding Tax

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...

Show More

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.

Show Less

Clear, concise introduction, aimed at mathematical nonspecialists, building the material up gently but logically
NEW chapter on Refinement the process of developing specification through to a program
NEW chapter on future developments in formal methods with a brief introduction to 'B' and its associated software tools

Preface
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.

Add a review

DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.

Show More

DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.

Show Less

New Publications 

Best Sellers