1998 |
4 | EE | William W. Pritchett IV,
John D. Riley:
An ASIS-Based Static Analysis Tool for High-Integrity Systems.
SIGAda 1998: 12-17 |
1997 |
3 | EE | John D. Riley,
Sangiv Dungari,
William Pritchett:
An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation.
TRI-Ada 1997: 273-278 |
1996 |
2 | EE | John D. Riley:
A Comparison of Two Approaches to Distributed Application Development in Ada: the Ada Distributed Systems Annex and CORBA.
TRI-Ada 1996: 73-80 |
1994 |
1 | EE | John D. Riley:
An Object-Oriented Approach to Software Process Modeling and Definition.
TRI-Ada 1994: 16-22 |