REVIEW - Data Refinement - Model-Oriented Proof Methods and Their Comparison


Title:

Data Refinement

Model-Oriented Proof Methods and Their Comparison

Author:

Willem-Paul de Roever, Kai Engelhardt, Karl-Heinz Buth

ISBN:

Publisher:

Cambridge University Press (1998)

Pages:

423pp

Reviewer:

Hubert Matthews

Reviewed:

April 2000

Rating:

★★☆☆☆


This computer science book is split into two parts: the first part is about the process of implementing an abstract data type and proving that your implementation is correct. There are a number of methods for doing this and the second part of the book analyses these methods and shows that fundamentally they are all instances of the same two concepts.

This book is intended for people familiar with formal methods such as VDM and Z who wish to prove that their refinements are correct, and also for logicians who are interested in the comparison of the soundness and correctness properties of these various methods and approaches. The treatment is both extensive and rigorous. It is, however, not an introductory text and the writing style is rather dry requiring a certain investment from the reader wishing to understand the underlying concepts. Practitionerswishing to increase their knowledge in this area would be better advised to read some of the introductions to VDM or Z by authors such as Jones or Woodcock and Davies instead.


Book cover image courtesy of Open Library.





Your Privacy

By clicking "Accept Non-Essential Cookies" you agree ACCU can store non-essential cookies on your device and disclose information in accordance with our Privacy Policy and Cookie Policy.

Current Setting: Non-Essential Cookies REJECTED


By clicking "Include Third Party Content" you agree ACCU can forward your IP address to third-party sites (such as YouTube) to enhance the information presented on this site, and that third-party sites may store cookies on your device.

Current Setting: Third Party Content EXCLUDED



Settings can be changed at any time from the Cookie Policy page.