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
[img]
Preview
Official URL
http://link.springer.com/book/10.1007%2F978-1-4471...

Abstract

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: Faculties > Sciences > School of Computing > Theoretical Computing Group
Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Eerke Boiten
Date Deposited: 09 Dec 2013 11:49 UTC
Last Modified: 29 May 2019 11:37 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/37392 (The current URI for this page, for reference purposes)
Boiten, Eerke Albert: https://orcid.org/0000-0002-9184-8968
  • Depositors only (login required):

Downloads

Downloads per month over past year