|
|
|
Rosalind Barden, Susan Stepney, David Cooper
ISBN: 9780131249349
Format: Paperback
Publisher:Pearson Education (US)
Write a review
This is the first book aimed at people who already understand the basics of the Z notation and now wish to become users of it. Written in a clear manner, this practical book demonstrates how Z should be used to solve real problems. Key features: includes five large case studies and many smaller examples of using Z, each illustrating different features of the language…
Written for people who already understand the basics of the Z language, this book will help its readers become adept users of the language. Covers the managerial issues of using Z, as well as the technical. Includes plenty of practical examples and case studies. Contains a comprehensive glossary which includes some anticipated changes in the British Standard. For practitioners of the Z language, as well as project managers and team leaders.
| ISBN | 0131249347 | | Pages | 432 | | ISBN13 | 9780131249349
(What's this?) | | Volumes | 001 | | Publisher | Pearson Education (US) | | Weight (grammes) | 1212 | | Imprint | Prentice Hall | | Published in | Upper Saddle River | | Format | Paperback | | Series title | Prentice-Hall BCS Practitioner S. | | Publication date | 14 Nov 1994 | | Height (mm) | 234 | | Library of Congress | QA76.73.Z2 | | Width (mm) | 172 | | DEWEY | 005.133 | | Spine width (mm) | 23 | | DEWEY edition | DC20 | | Academic level | Professional / Scholarly |
|
| |
| | | Series Editorial Preface | | | | | | Preface | | | | I | | Using Z | | 1 | | 1 | | Welcome to Z Newcomers | | 3 | | 2 | | Structure, Process, Fluency | | 16 | | 3 | | The Established Strategy | | 20 | | 4 | | Security Properties | | 27 | | 5 | | Other Approaches to Z Specification | | 35 | | 6 | | Validation | | 43 | | 7 | | Putting Together Your Method | | 48 | | II | | Case Studies | | 51 | | 8 | | House Style | | 53 | | 9 | | A Word Counting Utility | | 62 | | 10 | | Roles in Space | | 77 | | 11 | | Structuring a Video Shop | | 99 | | 12 | | Promoting Snakes and Ladders | | 113 | | 13 | | Refining the Tower of Hanoi | | 134 | | III | | Style and Tactics | | 157 | | 14 | | Be Abstract | | 159 | | 15 | | Sets or Functions? | | 166 | | 16 | | Sets, Quantifiers, or Toolkit? | | 172 | | 17 | | Sequences are Functions are Relations are Sets | | 179 | | 18 | | Error Handling Styles | | 201 | | 19 | | Promotion | | 208 | | IV | | Z Notation Details | | 221 | | 20 | | Using Free Types | | 223 | | 21 | | Using Bags | | 247 | | 22 | | A Four Function Calculator | | 261 | | 23 | | Making Schemas Work for You | | 273 | | | More... | | |
|
|
|
|
|
Enlarge
