R. H. Pierce

According to our database, R. H. Pierce authored at least 11 papers between 1974 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

The Safety Management of Data-Driven Safety-Related Systems.

A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H. A. Johnston, N. Storey

Proceedings of the Computer Safety, 2000

1997

Capturing and Verifying Performance Requirements for Hard Real Time Systems.

R. H. Pierce, Sandra Ayache, Roger Ward, John Stevens, Helen Clifton, J. Galle

Proceedings of the Reliable Software Technologies, 1997

1995

High integrity software development: process and tool issues.

A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson

Microprocess. Microsystems, 1995

Accessible Formal Method Support for PLC Software Development.

John A. McDermid, R. H. Pierce

Proceedings of the 14th International Conference on Computer Safety, 1995

1994

Tool Support for High Integrity Ada Software.

A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson

Proceedings of the Ada in Europe, First International Eurospace, 1994

1993

Object-Oriented Design of an Air-Defence Simulator.

R. H. Pierce, I. Marshall, S. J. Goodenough

Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

1990

Reverse engineering Ada into HOOD.

R. H. Pierce, S. D. Bluck

Proceedings of the conference on TRI-ADA 1990, 1990

1987

On the use of passive tasks in Ada.

R. H. Pierce

Proceedings of the First International Workshop on Real-Time Ada Issues, 1987

1985

Ada in the ECLIPLSE project support environment.

R. H. Pierce

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1977

A Transformation-Directed Compiling System.

R. H. Pierce, J. Rowell

Comput. J., 1977

1974

Source Language Debugging on a Small Computer.

R. H. Pierce

Comput. J., 1974