John D. Riley

According to our database, John D. Riley authored at least 4 papers between 1994 and 1998.

Collaborative distances:

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

1998

An ASIS-Based Static Analysis Tool for High-Integrity Systems.

William W. Pritchett IV, John D. Riley

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

1997

An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation.

John D. Riley, Sangiv Dungari, William Pritchett

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

1996

A Comparison of Two Approaches to Distributed Application Development in Ada: the Ada Distributed Systems Annex and CORBA.

John D. Riley

Proceedings of the annual meeting of the Ada programming world, 1996

1994

An Object-Oriented Approach to Software Process Modeling and Definition.

John D. Riley

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994