R. H. Pierce

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