#### Filter Results:

- Full text PDF available (54)

#### Publication Year

1978

2018

- This year (9)
- Last 5 years (26)
- Last 10 years (56)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- C. A. R. Hoare, Ian J. Hayes, +6 authors Bernard Sufrin
- Commun. ACM
- 1987

A complete set of algebraic laws is given for Dijkstra's nondeterministic sequential programming language. Iteration and recursion are explained in terms of Scott's domain theory as fixed points ofâ€¦ (More)

- Brendan P. Mahony, Ian J. Hayes
- IEEE Trans. Software Eng.
- 1992

A specification and top-level refinement of a simple mine pump control system, as well as a proof of correctness of the refinement, are presented as an example of the application of a formal methodâ€¦ (More)

Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on set theory, and isâ€¦ (More)

- Robert Colvin, Ian J. Hayes
- Sci. Comput. Program.
- 2011

- Ian J. Hayes, Steve Dunne, Larissa Meinicke
- MPC
- 2010

In this paper we focus on the relationship between a number of specification models. The models are formulated in the Unifying Theories of Programming of Hoare and He, but correspond to widely usedâ€¦ (More)

- David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh
- Formal Aspects of Computing
- 1998

The refinement calculus for the development of programs from specifications is well suited to mechanised support. We review the requirements for tool support of refinement as gleaned from ourâ€¦ (More)

- Ian J. Hayes
- Formal Aspects of Computing
- 1992

The specification notations of VDM and Z are closely related. They both use model-based specification techniques and share a large part of their mathematical notation. However, the approaches takenâ€¦ (More)

- Graeme Smith, Ian J. Hayes
- IFM
- 1999

This paper presents a method of formally specifying systems involving continuous variables and real-time constraints using the object-oriented state-based speciication language Object-Z together withâ€¦ (More)

- Ian J. Hayes, Mark Utting
- PROCOMET
- 1998

We have recently extended the sequential reenement calculus to handle real-time programs. A novel deadline command allows execution time limits to be expressed in a high-level language. The calculusâ€¦ (More)

- Brijesh Dongol, Ian J. Hayes, Peter J. Robinson
- Formal Aspects of Computing
- 2012

The teleo-reactive programming model is a high-level approach to developing real-time systems that supports hierarchical composition and durative actions. The model is different from frameworks suchâ€¦ (More)