#### Filter Results:

- Full text PDF available (1)

#### Publication Year

1988

2002

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- David H. Pitt, David Freestone
- IEEE Trans. Software Eng.
- 1990

- Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe
- Comput. J.
- 1995

This paper presents a survey of recent approaches in the application of the object-oriented paradigm to formal specification. The complexity of current information systems demands the use of a higher degree of formalism in the development process. Formal languages such as Z, VDM and Lotos have been used extensively in academic environments and research… (More)

- Paddy Byers, David H. Pitt
- Bulletin of the EATCS
- 1990

- David Murphy, David H. Pitt
- FTRTFT
- 1992

- Stephen A. Schuman, David H. Pitt, Paddy H. Byers
- Specification and Verification of Concurrent…
- 1988

- David H. Pitt, Paddy Byers
- Formal Aspects of Computing
- 1994

Pre-/postconditions have been extensively used in program specification, e.g. Z [Spi89], VDM [Jon86], and proof, e.g. Hoare logic, Dijkstra's guarded commands [DiF88]. In [ScP86, SPB90] the authors introduced neutral and central relations to formalise the concept of “the rest stays the same”. In this paper we abstract away from the specific definition of… (More)

- David H. Pitt, M. W. Shields
- Formal Aspects of Computing
- 1999

In this paper, we investigate the structure of the asynchronous behaviour of systems of cyclical, deterministic sequential processes. Specifically, we find conditions which, under certain finiteness assumptions, characterise periodic behaviours and pseudo-periodic behaviours, where a behaviour is periodic if it goes through a sequence of periods, i.e. of… (More)

- David H. Pitt, Michael Shields
- Formal Aspects of Computing
- 2002

A local invariant is a set of states of a transition system with the property that every action possible from each of its states takes the system back into the local invariant, unless it is an ‘exit’ action, each of which is accessible from every state in the set via a sequence of non-‘exit’ actions. This idea supports a form of abstraction construction,… (More)

- Andrew F. Watts, David H. Pitt, Colin Smythe
- ICCI
- 1993

- Adrian Colbrook, Colin Smythe, David H. Pitt
- ICCI
- 1990

- ‹
- 1
- ›