Moshe Deutsch, Martin C. Henson  Home/Search
Context Related
| cswww.essex.ac.uk/technical...csm380.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cswww.essex.ac.uk/technic...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper investigates data refinement by forward simulation for specifications whose semantics is given by partial relations. The most well-known example of such a semantics is that for Z. The standard model-theoretic approach is based on totalisation and lifting. The paper examines this model, exploring and isolating the precise roles played by lifting and totalisation in the standard account by introducing a simpler, normative theory of forward simulation data refinement... (Update)
Cited by: More
Modular reasoning in Z: scrutinising monotonicity and.. - Deutsch, Henson, Reeves (2004) (Correct)
Active bibliography (related documents): More All
1.4: Four Theories for Backward Simulation Data-Refinement - Deutsch, Henson (2003) (Correct)
1.1: An Analysis of Total Correctness Refinement Models for.. - Deutsch, Henson (2003) (Correct)
1.0: Operation Refinement and Monotonicity in the Schema Calculus - Deutsch, Henson, Reeves (2003) (Correct)
Similar documents based on text: More All
0.4: An analysis of operation refinement in Z - Deutsch, Henson, Reeves (2002) (Correct)
0.4: Six theories of operation refinement for partial relation.. - Martin Henson Steve (2002) (Correct)
0.3: The Standard Logic of Z is Inconsistent - Henson (1998) (Correct)
Related documents from co-citation: More All
2: Operation Refinement and Monotonicity in the Schema Calculus - Deutsch, Henson et al. - 2003
2: An analysis of total correctness refinement models for partial relation semantic.. - Deutsch, Henson et al. - 2001
BibTeX entry: (Update)
M. Deutsch and M. C. Henson. An Analysis of Forward Simulation Data Refinement. In ZB 2003 [12], pages 148--167. http://citeseer.ist.psu.edu/article/deutsch03analysis.html More
@misc{ deutsch03analysis,
author = "M. Deutsch and M. Henson",
title = "An Analysis of Forward Simulation Data Refinement",
text = "M. Deutsch and M. C. Henson. An Analysis of Forward Simulation Data Refinement.
In ZB 2003 [12], pages 148--167.",
year = "2003",
url = "citeseer.ist.psu.edu/article/deutsch03analysis.html" }
Citations (may not include all citations):616 Notation: A Reference Manual (context) - Spivey - 1992
44 Data refinement refined (context) - He, Hoare et al. - 1986
37 Refinement of state-based concurrent systems (context) - Woodcock, Morgan - 1990
36 Prespecification in data refinement (context) - He, Hoare et al. - 1987
36 Refinement and Proof (context) - Woodcock, Davies et al. - 1996
35 Data Refinement: Model-Oriented Proof Methods and Their Comp.. (context) - de Roever, Engelhardt - 1998
31 and the Refinement Calculus (context) - King - 1990
15 How firing conditions help inheritance (context) - Strulo - 1995
13 the refinement and simulation of data types and processes - Bolton, Davies et al. - 1999
9 A Method of Program Refinement - Grundy - 1993
9 The data refinement calculator for Z specifications (context) - Josephs - 1988
9 Edinburgh University Press (context) - Tennant - 1990
9 A weakest precondition semantics for Z - Cavalcanti, Woodcock - 1997
8 Formal Approaches to Computing and Information Technology --.. (context) - Derrick, Boiten et al. - 2001
6 An analysis of total correctness refinement models for parti.. - Deutsch, Henson et al. - 2001
5 Calculating upward and downward simulations of state-based s.. (context) - Derrick, Boiten - 1999
5 New foundations for Z - Henson, Reeves - 1998
5 Results on formal stepwise design in Z (context) - Deutsch, Henson et al. - 2002
5 Logic and Computation (context) - Henson, Reeves - 2000
4 Operation refinement and monotonicity in the schema calculus - Deutsch, Henson et al. - 2003
1 and refinement in Z (context) - Miarka, Boiten et al.
Documents on the same site (http://cswww.essex.ac.uk/technical-reports/index.htm): More
PhD in Open Constraint Satisfaction: SSCM, A Position Statement - Gosling (2004) (Correct)
Multi-agent Foreign Exchange Market Modelling via GP - Dignum, Poli (2004) (Correct)
A Logic for Schema-Based Program Development - Henson, Reeves (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC