Formal Specification using Z
2nd Edition
Published on 6. December 2000
Book
Paperback/Softback
176 pages
978-0-333-76327-8 (ISBN)
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.
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.
Reviews / Votes
'[The first edition of] David Lightfoot's Formal Specification Using Z is...an ideal introduction to Z and its use.' - New ScientistMore details
Series
Edition
2nd ed. 2000
Language
English
Place of publication
London
United Kingdom
Publishing group
Bloomsbury Publishing PLC
Target group
College/higher education
Professional and scholarly
Edition type
Revised edition
Illustrations
176 p.
Dimensions
Height: 24.6 cm
Width: 18.9 cm
Weight
363 gr
ISBN-13
978-0-333-76327-8 (9780333763278)
Schweitzer Classification
Other editions
Previous edition
David Lightfoot
Formal Specification Using Z.
Book
04/1991
Palgrave Macmillan
€22.27
Article exhausted; check for reprint
Person
DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.
Content
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.