Taylor's Library Banner
Image from Google Jackets

The way of Z : practical programming with formal methods / Jonathan Jacky.

By: Publication details: Cambridge [U.K.] : Cambridge University Press, 1997.Description: xviii, 350 p. ; 25 cmISBN:
  • 0521559766
Subject(s): DDC classification:
  • 005.12 JAC
Contents:
Preface. - I. Why Z? 1. Formal methods. 2. Why Use Formal Methods? 3. Formal methods and project management. Further reading. - II. Introducing Z. 4. What is Z? 5. A first example in Z. 6. From prose to Z: control console. 7. Introducing schemas: text editor. Further reading. - III. Elements of Z. 8. Elements. 9. Structure. 10. Logic. 11. Synthesis. 12. Schemas and schema calculus. 13. Schema types and bindings. 14. Generic definitions and free types. 15. Formal reasoning. Further reading. - IV. Studies in Z. 16. Document control system. 17. Text processing. 18. Eight queens. 19. Computer graphics and computational geometry. 20. Rule-based programming. 21. Graphical user interface. 22. Safety-critical protection system. 23. Modelling large systems. 24. Object-oriented programming. 25. Concurrency and real time. Further reading. - V. Programming with Z. 26. Refinement. 27. Program derivation and formal verification. 28. From Z to code. Further reading. - A. Glossary of Z notation. - B. Omitted features. - C. Operator precedence - D. The Z mathematical tool-kit. - E. Selected Laws. - F. Solutions to selected exercises. - G. Other formal notations. - Bibliography. - Index.
Summary: This book is a self-contained tutorial on the formal notation Z (pronounced "zed") for experienced professionals and serious students in programming, software engineering and computer science ... The book includes exercises with solutions, reference materials, and a guide to further reading directing readers to more case studies, experience reports, and other formal notations and methods. - Back cover.
No physical items for this record

Preface. - I. Why Z? 1. Formal methods. 2. Why Use Formal Methods? 3. Formal methods and project management. Further reading. - II. Introducing Z. 4. What is Z? 5. A first example in Z. 6. From prose to Z: control console. 7. Introducing schemas: text editor. Further reading. - III. Elements of Z. 8. Elements. 9. Structure. 10. Logic. 11. Synthesis. 12. Schemas and schema calculus. 13. Schema types and bindings. 14. Generic definitions and free types. 15. Formal reasoning. Further reading. - IV. Studies in Z. 16. Document control system. 17. Text processing. 18. Eight queens. 19. Computer graphics and computational geometry. 20. Rule-based programming. 21. Graphical user interface. 22. Safety-critical protection system. 23. Modelling large systems. 24. Object-oriented programming. 25. Concurrency and real time. Further reading. - V. Programming with Z. 26. Refinement. 27. Program derivation and formal verification. 28. From Z to code. Further reading. - A. Glossary of Z notation. - B. Omitted features. - C. Operator precedence - D. The Z mathematical tool-kit. - E. Selected Laws. - F. Solutions to selected exercises. - G. Other formal notations. - Bibliography. - Index.

This book is a self-contained tutorial on the formal notation Z (pronounced "zed") for experienced professionals and serious students in programming, software engineering and computer science ... The book includes exercises with solutions, reference materials, and a guide to further reading directing readers to more case studies, experience reports, and other formal notations and methods. - Back cover.