Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science) - Softcover

Woodcock, Jim; Davies, Jim

Softcover

ISBN 10: 0139484728 ISBN 13: 9780139484728

Publisher: Prentice Hall, 1996

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

About this title

From the Back Cover:

This is the first book to cover the three important areas of using the Z notation -- specification, rigorous and formal proof, and refinement into code. It covers sequences, schemas, promotion, preconditions, a logic for Z, sample theorems, data refinement, algorithm development, and more. For programmers, software designers, and software engineers. Previously announced in 2/93 PTR Catalog.

About this edition

• Publisher: Prentice Hall
• Publication date: 1996
• ISBN 10: 0139484728
• ISBN 13: 9780139484728
• Binding: Paperback
• Number of pages: 386