Books > Computing & IT > Applications of computing > Databases
|
Buy Now
Data Refinement - Model-Oriented Proof Methods and their Comparison (Hardcover, New)
Loot Price: R3,704
Discovery Miles 37 040
|
|
Data Refinement - Model-Oriented Proof Methods and their Comparison (Hardcover, New)
Series: Cambridge Tracts in Theoretical Computer Science
Expected to ship within 12 - 17 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.