Fandom

Formal Methods Wiki

Formal Specification and Documentation using Z

120pages on
this wiki
Add New Page
Talk0 Share

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

VL2

Virtual Library
Computing
Software engineering
Formal methods
Z notation

Z-book-cover

Book Information

Formal Specification and Documentation using Z:
A Case Study Approach

By Prof. Jonathan Bowen
Centre for Applied Formal Methods, London South Bank University

International Thomson Computer Press (ITCP)
Thomson Publishing

ISBN 1850322309 (order from Amazon USA or Amazon UK).
Paperbound. Originally published 1996. xvii+302 pages.

Symbols]

The following is available online:

Note: This book and the associated material may be used freely for educational not-for-profit purposes.

ZZZZZZ

ISBN 1-85032-230-9. Now out of print, but available online.


Related information

See also entry under FreeTechBooks.com.


Selected related publications


Review extract

The Computer Journal, 39(7):643, 1996.

Finally, we have a textbook that presents the application of formal methods through a series of non-trivial case studies. In this volume, Bowen presents applications that range from network services to a text editor to rasterop functions and the X window system. These studies are used to illustrate Bowen's key argument that formal methods provide powerful tools for documenting the design of complex systems.

ZZZZZZ]

Jonathan Bowen
Last updated 19 October 2016

Also on Fandom

Random Wiki