An Introduction to Formal Specification and Z
Prentice-Hall (Publisher)
Published on 1. April 1991
Book
Paperback/Softback
324 pages
978-0-13-478702-2 (ISBN)
Article exhausted; check for reprint
Description
Primarily intended as an introduction to the ideas of formal specification, to form part of an undergraduate course in computer science and providing a new approach to the process of software development, based on the work of the Z community at the Programming Research Group at Oxford, the main emphasis of this book is on formal specification. Features include discussions of formal methods of program development from specifications, and management issues involved in the adoption of more formal approaches to software development. It introduces concepts from discrete mathematics which are relevant to formal specification and presents the basic ideas involved in rigorous methods of software development from formal specifications.
More details
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Pearson Education Limited
Target group
College/higher education
Professional and scholarly
Illustrations
Illustrations
Dimensions
Height: 234 mm
Width: 174 mm
Weight
480 gr
ISBN-13
978-0-13-478702-2 (9780134787022)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions

Ben Potter | Jane Sinclair | David Till
Introduction Formal Specification And Z
Book
06/1996
2nd Edition
Prentice Hall
€94.08
Article is exhausted; no reprint
Persons
Author
Programming Research Group, University of Oxford
City University, London
Content
Formal specification in the context of software engineering; an informal introduction to logic and set theory; a first specification - word-for-word; the Z notation - the mathematical language; the Z notation - relations and functions; the Z notation - schemas and the structure of specifications; a first specification to program - data and operation refinement; from specification to program - operation decomposition; postlude.