Rodney A. Orr

According to our database, Rodney A. Orr authored at least 6 papers between 1988 and 1992.

Collaborative distances:

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

1992

An Exercise in Formalizing the Description of a Concurrent System.

David W. Bustard, Mark T. Norris, Rodney A. Orr, Adam C. Winstanley

Softw. Pract. Exp., 1992

1989

Tools to Support Formal Methods.

S. Patel, Rodney A. Orr, Mark T. Norris, David W. Bustard

Proceedings of the 11th International Conference on Software Engineering, 1989

1988

Systematic method for realtime system design.

Rodney A. Orr, Mark T. Norris, Richard Tinker, C. D. V. Rouch

Microprocess. Microsystems, 1988

A pictorial approach to the animation of process-oriented formal specifications.

David W. Bustard, Mark T. Norris, Rodney A. Orr

Softw. Eng. J., 1988

Tools for Real-Time System Design.

Rodney A. Orr, Mark T. Norris, Richard Tinker, C. D. V. Rouch

Proceedings of the Proceedings, 1988

Graphical Views of Process-Orientated Specifications.

David W. Bustard, Adam C. Winstanley, Mark T. Norris, Rodney A. Orr, S. Patel

Proceedings of the Formal Description Techniques, 1988