Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
42
views
0
references
Top references
cited by
31
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,878
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Data Refinement
monograph
Author(s):
Willem-Paul de Roever
,
Kai Engelhardt
Publication date
(Online):
May 03 2010
Publisher:
Cambridge University Press
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
On Research Data Publishing
Author and book information
Book
ISBN (Print):
9780521641708
ISBN (Print):
9780521103503
ISBN (Electronic):
9780511663079
Publication date (Online):
May 03 2010
Publication date (Print):
December 03 1998
DOI:
10.1017/CBO9780511663079
SO-VID:
e2e69899-8ba0-4bba-9cc2-40b92d5807f2
License:
https://www.cambridge.org/core/terms
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. viii
Preface
pp. 2
Introduction to Data Refinement
pp. 19
Simulation as a Proof Method for Data Refinement
pp. 49
Relations and Recursion
pp. 73
Properties of Simulation
pp. 90
Notation and Semantics
pp. 121
A Hoare Logic
pp. 132
Simulation and Hoare Logic
pp. 146
An Extension to Total Correctness
pp. 181
Simulation and Total Correctness
pp. 194
Refinement Calculus
pp. 236
Picture Gallery
pp. 255
Applications
pp. 257
Reynolds' Method
pp. 289
VDM
pp. 317
Z, Hehner's Method, and Back's Refinement Calculus
pp. 340
Refinement Methods due to Abadi and Lamport and to Lynch
pp. 404
Bibliography
Similar content
1,878
Mapping Cabinet Conflicts and Conflict Features: Refined Definitions, Coding Instructions and Results From Belgium (1995-2018)
Authors:
Maxime Vandenberghe
Prior-austenite grain refinement in P92 steel using double austenitization treatment
Authors:
Nitin Saini
,
Rahul Mulik
,
Manas Mahapatra
Refinement of Intraocular Pressure Measurements made by Ocular Response Analyzer following Laser in Situ Keratomileusis using M2 90 Moria Microkeratome for Egyptian Myopic and Astigmatic Patients
Authors:
Tamer Refai
,
Olfat A. Hassanin
See all similar
Cited by
31
The Method of Levels of Abstraction
Authors:
Luciano Floridi
Comprehensive formal verification of an OS microkernel
Authors:
Toby Murray
,
Rafal Kolanski
,
Gernot Heiser
…
A defence of informational structural realism
Authors:
Luciano Floridi
See all cited by