#### Filter Results:

- Full text PDF available (77)

#### Publication Year

1984

2018

- This year (6)
- Last 5 years (29)
- Last 10 years (56)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

It is argued that refinement, in which I/O signatures stay the same, preconditions are weakened and postconditions strengthened, is too restrictive to describe all but a fraction of many realisticâ€¦ (More)

- Richard Banach, Michael Poppleton
- ZB
- 2000

Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models to more complex andâ€¦ (More)

- Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
- Sci. Comput. Program.
- 2007

Refinement is reviewed, highlighting in particular the distinction between its use as a specification constructor at a high level, and its use as an implementation mechanism at a low level. Some ofâ€¦ (More)

The generalised term graph rewriting computational model is exploited to implement concurrent languages based on Girardâ€™s Linear Logic (LL). In particular a fragment of LL is identified which is ableâ€¦ (More)

- Richard Banach
- 1995

The theory of interaction nets, invented by Lafont, is re-examined from the algebraic hypergraph rewriting perspective. Supersimple nets are defined and discussed, and some related classes of nets,â€¦ (More)

- Richard Banach, John Derrick
- Fourth IEEE International Conference on Softwareâ€¦
- 2006

Retrenchment is a weakening of model based refinement that enables many development steps not expressible by refinement to be formally described nevertheless. The greater flexibility of retrenchmentâ€¦ (More)

- Richard Banach
- TAGT
- 1994

Algebraic graph rewriting, which works by first removing the part of the graph to be regarded as garbage, and then gluing in the new part of the graph, is contrasted with term graph rewriting, whichâ€¦ (More)

- Richard Banach, Michael Poppleton
- IFM
- 1999

Some of the shortcomings of using refinement alone as the means of passing high level simple models to actual detailed implementations are reviewed. Retrenchme presented as a framework forâ€¦ (More)

- Teresa TorliÅ„ska, Richard Banach, Janusz Paluszak, A Gryczka-Dziadecka
- Acta physiologica Polonica
- 1987

Rats anaesthetized with Brevinarcon were placed in a high-temperature chamber (air temperature 50 degrees C, relative humidity 50%) for induction of hyperthermia (rectal temperature 41.0 +/- +/- 0.5â€¦ (More)

- Richard Banach, Michael Poppleton
- Requirements Engineering
- 2003

In conventional model-oriented formal refinement, the abstract model is supposed to capture all the properties of interest in the system, in an as-clutter-free-as-possible manner. Subsequently, theâ€¦ (More)