ACCU Home page ACCU Conference Page
Search Contact us ACCU at Flickr ACCU at GitHib ACCU at Google+ ACCU at Facebook ACCU at Linked-in ACCU at Twitter Skip Navigation

Search in Book Reviews

The ACCU passes on review copies of computer books to its members for them to review. The result is a large, high quality collection of book reviews by programmers, for programmers. Currently there are 1918 reviews in the database and more every month.
Search is a simple string search in either book title or book author. The full text search is a search of the text of the review.
    View all alphabetically
Title:
Data Refinement Model-Oriented Proof Methods
Author:
Willem-Paul de_Roever&Kai Engelhartdt
ISBN:
0 521 64170 5
Publisher:
Cambridge University Press
Pages:
423pp
Price:
£45-00
Reviewer:
Hubert Matthews
Subject:
modelling languages
Appeared in:
OL36
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.