Rodney A. Orr

Publication Activity (10 Years)

Years Active: 1988-1992
Publications (10 Years): 0

Publications

David W. Bustard, Mark T. Norris, Rodney A. Orr, Adam C. Winstanley
An Exercise in Formalizing the Description of a Concurrent System. Softw. Pract. Exp. 22 (12) (1992)
S. Patel, Rodney A. Orr, Mark T. Norris, David W. Bustard
Tools to Support Formal Methods. ICSE (1989)
David W. Bustard, Mark T. Norris, Rodney A. Orr
A pictorial approach to the animation of process-oriented formal specifications. Softw. Eng. J. 3 (4) (1988)
Rodney A. Orr, Mark T. Norris, Richard Tinker, C. D. V. Rouch
Tools for Real-Time System Design. ICSE (1988)
Rodney A. Orr, Mark T. Norris, Richard Tinker, C. D. V. Rouch
Systematic method for realtime system design. Microprocess. Microsystems 12 (7) (1988)
David W. Bustard, Adam C. Winstanley, Mark T. Norris, Rodney A. Orr, S. Patel
Graphical Views of Process-Orientated Specifications. FORTE (1988)