 | 1998 |
|---|
| 4 |       | William W. Pritchett IV,
John D. Riley:
An ASIS-Based Static Analysis Tool for High-Integrity Systems.
SIGAda 1998: 12-17 |
| 1997 |
|---|
| 3 | | 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 | | 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 | | John D. Riley:
An Object-Oriented Approach to Software Process Modeling and Definition.
TRI-Ada 1994: 16-22 |
