M.R. Poppleton, R.H. Banach  Home/Search
Context Related
| cs.man.ac.uk/~bana....Ref.Control.ps.gz 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: cs.man.ac.uk/~b...nt.publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Discussion of a radiation dose calculation example demonstrates various expressive limitations of the refinement calculus, particularly for systems with continuous variables. A liberalization of refinement, called retrenchment, is proposed, which will support an analogous formal development calculus. Useful concrete system behaviour can be specified outside the domain of pure refinement, in particular behaviour under controlled precision decay. A syntax and a formal definition are presented for ... (Update)
Context of citations to this paper: More
...failure and reset) in the simulation. 4] addressed the integration of refinement and retrenchment from a methodological perspective. In [30] we presented a generalisation, evolving retrenchment. This paper is squarely in the B setting (albeit with some data type enrichment)...
Cited by: More
Reconciling Retrenchments and Refinements I - Czeslaw Jeske Richard (Correct)
Reconciling Retrenchments and Refinements II - Czeslaw Jeske Richard (Correct)
Requirements Validation by Lifting Retrenchments in B - Michael Poppleton School (Correct)
Similar documents (at the sentence level):
14.4%: Controlling Control Systems: An Application of Evolving.. - Poppleton, Banach (Correct)
8.7%: Retrenchment: Extending the Reach of Refinement - Poppleton, Banach (1999) (Correct)
Active bibliography (related documents): More All
1.3: Engineering and Theoretical Underpinnings of Retrenchment - Banach, Poppleton (2001) (Correct)
0.6: Retrenchment: An Engineering Variation on Refinement - Banach, Poppleton (1998) (Correct)
0.6: Structuring Retrenchments in B by Decomposition - Poppleton, Banach (Correct)
Similar documents based on text: More All
0.8: Model Based Engineering of Specifications by Retrenching .. - Banach Poppleton.. (2001) (Correct)
0.5: Sharp Retrenchment, Modulated Refinement and Punctured.. - Banach, Poppleton (Correct)
0.5: Retrenchment, Refinement, and Notions of Simulation - Banach, Poppleton (Correct)
Related documents from co-citation: More All
6: Retrenchment: An Engineering Variation on Refinement - Banach, Poppleton - 1998
5: Data Refinement: Model-Oriented Proof Methods and their Comparison (context) - de Roever, Engelhardt - 1998
5: Maximally abstract retrenchments (context) - Banach
BibTeX entry: (Update)
M. Poppleton and R. Banach. Retrenchment: Extending refinement for continuous and control systems. In Proc. IWFM'00, Springer Electronic Workshop in Computer Science Series http://ewic.org.uk/ewic, NUI Maynooth, July 2000. Springer. http://citeseer.ist.psu.edu/poppleton00retrenchment.html More
@misc{ poppleton00retrenchment,
author = "M. Poppleton and R. Banach",
title = "Retrenchment: Extending refinement for continuous and control systems",
text = "M. Poppleton and R. Banach. Retrenchment: Extending refinement for continuous
and control systems. In Proc. IWFM'00, Springer Electronic Workshop in Computer
Science Series http://ewic.org.uk/ewic, NUI Maynooth, July 2000. Springer.",
year = "2000",
url = "citeseer.ist.psu.edu/poppleton00retrenchment.html" }
Citations (may not include all citations):652 A Discipline of Programming (context) - Dijkstra - 1976
650 An axiomatic basis for computer programming (context) - Hoare - 1969
616 Notation: A Reference Manual (context) - Spivey - 1993
274 The existence of refinement mappings - Abadi, Lamport - 1991
254 Book: Assigning Programs to Meanings (context) - Abrial - 1996
135 A theoretical basis for stepwise refinement and the programm.. (context) - Morris - 1994
120 An Introduction to Numerical Analysis (context) - Atkinson - 1989
44 Data refinement refined (context) - He, Hoare et al. - 1986
36 Prespecification in data refinement (context) - Hoare, He et al. - 1987
36 Refinement and Proof (context) - Woodcock, Davies et al. - 1996
32 Retrenchment: An engineering variation on refinement - Banach, Poppleton - 1998
25 On correct refinement of programs (context) - Back - 1981
22 Partial logics reconsidered: A conservative approach - Owe - 1993
17 data refinement: Pushing the state of the art in industrial .. (context) - Stepney, Cooper et al. - 1998
16 Using a process algebra to control b operations - Treharne, Schneider - 1999
13 Illustration of a Rigorous Development Method (context) - Neilson, to - 1990
13 The clean termination of iterative programs (context) - Blikle - 1981
12 Retrenchment and punctured simulation - Banach, Poppleton - 1999
11 The clean termination of pascal programs (context) - Coleman, Hughes - 1979
11 Formal Aspects of Computing (context) - Banach, Poppleton et al. - 1999
10 refinement and simulation (context) - Banach, Poppleton - 2000
8 Data Refinement: Model-Oriented Proof Methods and their Comp.. (context) - de Roever, Engelhardt - 1998
8 The Physics of Radiology (context) - Johns, Cunningham - 1976
8 Fusion and simultaneous execution in the refinement calculus - Back, Butler - 1998
7 Dose calculations in multi-leaf collimator fields (context) - Hounsell, Wilkinson - 1994
6 Refinement calculus part I: Sequential nondeterministic prog.. - Back, von Wright - 1989
5 The Physics of Radiation Therapy (context) - Khan - 1994
5 Automatic Control Engineering (context) - Raven - 1977
4 Retrenchment: Extending the Reach of Refinement - Poppleton, Banach - 1999
1 Formal Methods for Continuous Systems (context) - Poppleton - 2000
1 The Mathematical Theory of Radiation Dosimetry (context) - Brownell, Fitzgerald et al. - 1967
Documents on the same site (http://www.cs.man.ac.uk/~banach/Recent.publications.html): More
On Regularity in Software Design - Banach (Correct)
MONSTR I - Fundamental Issues and the Design of MONSTR - Banach (1996) (Correct)
Sharp Retrenchment, Modulated Refinement and Punctured.. - Banach, Poppleton (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