Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) Book + PRICE WATCH * Amazon pricing is not included in price watch

Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) Book

This is a comprehensive and systematic account of the important and highly applicable method of data refinement, which is one of the most powerful formal methods for system development. The authors concentrate on principles and begin with an explanation of the fundamental notions behind data refinement and simulation. Accessibility and comprehension are emphasised in order to guide newcomers to the area. The remaining chapters are comparitive in nature, looking at a variety of formal methods and how they may be best applied.The book is self-contained, going from advanced undergraduate level but taking the reader to the state-of-the-art in methods for proving simulation.Read More

from£22.36 | RRP: £40.00
* Excludes Voucher Code Discount Also available Used from £73.24
  • Product Description

    The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The topics of Hoare Logic and the Refinement Calculus are introduced and a general theory of simulations is developed and related to them. Accessibility and comprehension are emphasized in order to guide newcomers to the area. The book's second part contains a detailed survey of important methods in this field, such as VDM, and the methods due to Abadi & Lamport, Hehner, Lynch and Reynolds, Back's refinement calculus and Z. All these methods are carefully analysed, and shown to be either imcomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analyzed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation.

  • 0521103509
  • 9780521103503
  • Willem-Paul de Roever, Kai Engelhardt
  • 18 December 2008
  • Cambridge University Press
  • Paperback (Book)
  • 436
  • 1
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.