Formal Specification and Documentation Using Z
Title | Formal Specification and Documentation Using Z PDF eBook |
Author | Jonathan Peter Bowen |
Publisher | |
Pages | 324 |
Release | 1996 |
Genre | Computers |
ISBN |
Using Z
Title | Using Z PDF eBook |
Author | Jim Woodcock |
Publisher | |
Pages | 412 |
Release | 1996 |
Genre | Computers |
ISBN |
This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html
Formal Specification Using Z
Title | Formal Specification Using Z PDF eBook |
Author | David Lightfoot |
Publisher | Palgrave |
Pages | 184 |
Release | 1991 |
Genre | Computers |
ISBN |
The Way of Z
Title | The Way of Z PDF eBook |
Author | Jonathan Jacky |
Publisher | Cambridge University Press |
Pages | 382 |
Release | 1997 |
Genre | Computers |
ISBN | 9780521559768 |
A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
Software Specification Methods
Title | Software Specification Methods PDF eBook |
Author | Henri Habrias |
Publisher | John Wiley & Sons |
Pages | 349 |
Release | 2013-03-01 |
Genre | Computers |
ISBN | 1118613945 |
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Introducing Specification Using Z
Title | Introducing Specification Using Z PDF eBook |
Author | Bryan Ratcliff |
Publisher | McGraw-Hill Companies |
Pages | 328 |
Release | 1994 |
Genre | Computers |
ISBN |
Offering an introduction to formal specification using the Z notation, this practical text makes use of a series of case studies, of varying complexity, to illustrate the construction of good specifications in Z. These case studies serve to describe the most frequently used features of Z, the relevant discrete mathematics and the various techniques used. The text also includes an introduction to specification validation, theorem proving and refinement. The importance of formal methods within software engineering is stressed throughout and there are a large number of exercises with solutions.
An Introduction to Formal Specification and Z
Title | An Introduction to Formal Specification and Z PDF eBook |
Author | Ben Potter |
Publisher | |
Pages | 456 |
Release | 1996 |
Genre | Computers |
ISBN |
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.