Skip to main content

Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition)

Derrick, John, Boiten, Eerke Albert (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). Springer, London Heidelberg New York Dordrecht, 510 pp. ISBN 978-1-4471-5354-2. E-ISBN 978-1-4471-5355-9. (doi:10.1007/978-1-4471-5355-9) (KAR id:37392)

PDF (Flyer for this book) Supplemental Material
Language: English
Download (258kB) Preview
[thumbnail of Flyer for this book]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes:

• generalisations of refinement that change the interface and atomicity of operations;

• and modelling state and behaviour by combining Object-Z with CSP.

This 2nd edition is a comprehensive update to the first and includes the following new material:

• We provide an updated discussion on divergence, non-atomic refinements and approximate refinement.

• We give a fuller account of the relationship between relational refinement and various models of refinement in CSP.

• Bibliographic notes at the end of each chapter have been extended with the most up to date citations and research.

Item Type: Book
DOI/Identification number: 10.1007/978-1-4471-5355-9
Uncontrolled keywords: refinement, formal methods, Z, Object-Z, object orientation, CSP, state based
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Eerke Boiten
Date Deposited: 09 Dec 2013 11:49 UTC
Last Modified: 16 Feb 2021 12:50 UTC
Resource URI: (The current URI for this page, for reference purposes)
Boiten, Eerke Albert:
  • Depositors only (login required):


Downloads per month over past year