CURRENT BASKET VALUE
£0.00
ABOUT THIS BOOK
Formal Specification using Z
£45.99

FORMAL SPECIFICATION USING Z

PAPERBACK BY LIGHTFOOT, DAVID

£45.99

ISBN
9780333763278
IMPRINT
PALGRAVE MACMILLAN
 
 
EDITION
2ND ED. 2000
PUBLISHER
PALGRAVE MACMILLAN
STOCK FOR DELIVERY
NOT IN STOCK - AVAILABLE TO ORDER
FORMAT
PAPERBACK
PAGES
176 pages
PUBLICATION DATE
06 DEC 2000

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.

CONTENTS

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.