|
|
|
Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification. This introductory work is intended for software engineers and students, and and builds each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.
| ISBN | 0333763270 | | Pages | 176 | | ISBN13 | 9780333763278
(What's this?) | | Weight (grammes) | 348 | | Publisher | Palgrave Macmillan | | Published in | Basingstoke | | Imprint | Palgrave Macmillan | | Series title | Grassroots S. | | Format | Paperback | | Previous ISBN | 9780333544082 | | Publication date | 06 Dec 2000 | | Height (mm) | 245 | | Non-book description | 192 | | Width (mm) | 187 | | DEWEY | 005.133 | | Spine width (mm) | 9 | | DEWEY edition | DC21 | | Academic level | Undergraduate, Postgraduate, Professional / Scholarly |
|
| |
| | | Preface to the Second Edition | | | | Ch. 1 | | Introduction | | 1 | | Ch. 2 | | Sets | | 7 | | Ch. 3 | | Using sets to describe a system - a simple example | | 21 | | Ch. 4 | | Logic | | 27 | | Ch. 5 | | The example extended | | 35 | | Ch. 6 | | Schemas | | 37 | | Ch. 7 | | Examples of Z specification documents | | 55 | | Ch. 8 | | Predicates and quantifiers | | 65 | | Ch. 9 | | Relations | | 71 | | Ch. 10 | | Functions | | 87 | | Ch. 11 | | A seat allocation system | | 99 | | Ch. 12 | | Sequences | | 103 | | Ch. 13 | | An example of sequences - the aircraft example again | | 115 | | Ch. 14 | | Extending a specification | | 119 | | Ch. 15 | | Hints on creating specifications | | 125 | | Ch. 16 | | Example specifications | | 129 | | | | App. 1: Collected notation | | 145 | | | | App. 2: Solutions to exercises | | 151 | | | | Index | | 163 |
'[The first edition of] David Lightfoot's Formal Specification Using Z is...an ideal introduction to Z and its use.' - New Scientist  Be the first to write a customer review
|
|
|
|
|
Enlarge
