Wikia

Formal Methods Wiki

Formal Specification and Documentation using Z

Talk0
113pages on
this wiki
VL2
Virtual Library
Computing
Software engineering
Formal methods
Z notation
JpbowenAdded by Jpbowen
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 25 January 2010

Advertisement | Your ad here

Around Wikia's network

Random Wiki