Donald I. Good

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