Introduction Formal Specification And Z, 2nd edition

  • Ben Potter
  • Jane Sinclair
  • David Till

Unfortunately, this item is not available in your country.

Overview

Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.

Table of contents

  1. Introduction.
  2. Formal Specification within Software Engineering.
  3. An informal introduction to Logic and Set Theory.
  4. The Z Notation: Mathematical Language.
  5. The Z Notation: Relations and Functions.
  6. The Z Notation:Schemas and Specification Structure.
  7. A First Specification.Formal Reasoning.
  8. From Specification to Program.
  9. From Theory to Practice.
  10. Appendices.
  11. Bibliography.
  12. Index.

Published by Pearson (June 21st 1996) - Copyright © 1996