This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
| ISBN | 0201627574 | | DEWEY edition | DC12A | | ISBN13 | 9780201627572
(What's this?) | | Pages | 336 | | Publisher | Pearson Education Limited | | Weight (grammes) | 525 | | Imprint | Addison Wesley | | Published in | Harlow | | Format | Paperback | | Height (mm) | 235 | | Publication date | 29 Jun 1992 | | Width (mm) | 159 | | Library of Congress | QA76.73.Z2 | | Spine width (mm) | 18 | | DEWEY | 005.1 | | Academic level | Professional / Scholarly |
|
|
|
1. Introduction 2. A Simple Z Specification 3. Sets and Predicates 4. Relations and Functions 5. Schemas and Specifications 6. Data Design 7. Algorithm Design
Enlarge
