Donald I. Good

Publication Activity (10 Years)

Years Active: 1970-1991
Publications (10 Years): 0

Publications

Donald I. Good, William D. Young
Mathematical Methods for Digital Systems Development. VDM Europe (2) (1991)
Donald I. Good
Computing is a Physical Science (Abstract). VDM Europe (1988)
Carl E. Landwehr, Susan L. Gerhart, John D. McLean, Donald I. Good, Nancy Leveson
NRL invitational workshop on testing and proving: two approaches to assurance. ACM SIGSOFT Softw. Eng. Notes 11 (5) (1986)
Donald I. Good, Robert S. Boyer, J. Strother Moore
A second generation verification environment. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Dan Craigen, Donald I. Good
Overview of verification systems. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Michael K. Smith, Ann E. Siebert, Benedetto L. DiVito, Donald I. Good
A verified encrypted packet interface. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
Donald I. Good
Toward building verified, secure systems. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
William D. Young, Donald I. Good
Steelman and the verifiability of (preliminary) ADA. ACM SIGPLAN Notices 16 (2) (1981)
Anand R. Tripathi, William D. Young, Donald I. Good, James C. Browne
HAL/S/V: a verifiable subset for HAL/S. ACM SIGPLAN Notices 16 (3) (1981)
William D. Young, Donald I. Good
Generics and verification in Ada. SIGPLAN (1980)
Anand R. Tripathi, William D. Young, Donald I. Good
A preliminary evaluation of verifiability in Ada. ACM Annual Conference (1980)
Donald I. Good, Richard M. Cohen, James G. Keeton-Williams
Principles of Proving Programs Correct in Gypsy. POPL (1979)
Donald I. Good, Richard M. Cohen, Lawrence W. Hunter
A Report On The Development Of Gypsy. ACM Annual Conference (1) (1978)
Donald I. Good
Beyond factorial (Abstract of presentation). AFIPS National Computer Conference (1978)
Donald I. Good
Constructing verified and reliable communications processing systems. ACM SIGSOFT Softw. Eng. Notes 2 (5) (1977)
Donald I. Good, Lloyd D. Fosdick
SICSOFT (Tutorial Session). ACM Annual Conference (1976)
Donald I. Good, Lloyd D. Fosdick
SIGSOFT tutorial on program verification (Tutorial Session). ACM Annual Conference (1976)
Donald I. Good
Provable programming. Reliable Software (1975)
Donald I. Good, Ralph L. London, W. W. Bledsoe
An interactive program verification system. Reliable Software (1975)
Donald I. Good, Ralph L. London, W. W. Bledsoe
An Interactive Program Verification System. IEEE Trans. Software Eng. 1 (1) (1975)
Donald I. Good
Provable programs and processors. AFIPS National Computer Conference (1974)
Larry C. Ragland, Donald I. Good
Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386). Commun. ACM 16 (4) (1973)
Raymond T. Yeh, Donald I. Good, David R. Musser
New directions in teaching the fundamentals of computer science - discrete structures and computational analysis. SIGCSE (1973)
E. M. Greenawalt, Donald I. Good
The MIX computer as an educational tool. ACM Annual Conference (1) (1972)
Donald I. Good, Ralph L. London
Computer Interval Arithmetic: Definition and Proof of Correct Implementation. J. ACM 17 (4) (1970)