R. H. Pierce

Publication Activity (10 Years)

Years Active: 1974-2000
Publications (10 Years): 0

Publications

A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H. A. Johnston, N. Storey
The Safety Management of Data-Driven Safety-Related Systems. SAFECOMP (2000)
R. H. Pierce, Sandra Ayache, Roger Ward, John Stevens, Helen Clifton, J. Galle
Capturing and Verifying Performance Requirements for Hard Real Time Systems. Ada-Europe (1997)
A. D. Hutcheon, D. T. Jordan, John Alexander McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
High integrity software development: process and tool issues. Microprocess. Microsystems 19 (9) (1995)
John Alexander McDermid, R. H. Pierce
Accessible Formal Method Support for PLC Software Development. SAFECOMP (1995)
A. D. Hutcheon, D. T. Jordan, John Alexander McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
Tool Support for High Integrity Ada Software. Ada-Europe (1994)
R. H. Pierce, I. Marshall, S. J. Goodenough
Object-Oriented Design of an Air-Defence Simulator. Ada-Europe (1993)
R. H. Pierce, S. D. Bluck
Reverse engineering Ada into HOOD. TRI-Ada (1990)
R. H. Pierce
On the use of passive tasks in Ada. IRTAW (1987)
R. H. Pierce
Ada in the ECLIPLSE project support environment. SIGAda (1985)
R. H. Pierce, J. Rowell
A Transformation-Directed Compiling System. Comput. J. 20 (2) (1977)
R. H. Pierce
Source Language Debugging on a Small Computer. Comput. J. 17 (4) (1974)