Donald I. Good

According to our database, Donald I. Good authored at least 24 papers between 1970 and 1991.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1991

Mathematical Methods for Digital Systems Development.

Donald I. Good, William D. Young

Proceedings of the VDM '91, 1991

1988

Computing is a Physical Science (Abstract).

Donald I. Good

Proceedings of the VDM '88, 1988

1986

NRL invitational workshop on testing and proving: two approaches to assurance.

Carl E. Landwehr, Susan L. Gerhart, John D. McLean, Donald I. Good, Nancy Leveson

ACM SIGSOFT Softw. Eng. Notes, 1986

1985

A second generation verification environment.

Donald I. Good, Robert S. Boyer, J Strother Moore

ACM SIGSOFT Softw. Eng. Notes, 1985

Overview of verification systems.

Dan Craigen, Donald I. Good

ACM SIGSOFT Softw. Eng. Notes, 1985

1981

A verified encrypted packet interface.

Michael K. Smith, Ann E. Siebert, Benedetto L. DiVito, Donald I. Good

ACM SIGSOFT Softw. Eng. Notes, 1981

Toward building verified, secure systems.

Donald I. Good

ACM SIGSOFT Softw. Eng. Notes, 1981

Steelman and the verifiability of (preliminary) ADA.

William D. Young, Donald I. Good

ACM SIGPLAN Notices, 1981

HAL/S/V: a verifiable subset for HAL/S.

Anand R. Tripathi, William D. Young, Donald I. Good, James C. Browne

ACM SIGPLAN Notices, 1981

1980

Generics and verification in Ada.

William D. Young, Donald I. Good

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

A preliminary evaluation of verifiability in Ada.

Anand R. Tripathi, William D. Young, Donald I. Good

Proceedings of the ACM 1980 Annual Conference, 1980

1979

Principles of Proving Programs Correct in Gypsy.

Donald I. Good, Richard M. Cohen, James G. Keeton-Williams

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1978

Beyond factorial (Abstract of presentation).

Donald I. Good

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

A Report On The Development Of Gypsy.

Donald I. Good, Richard M. Cohen, Lawrence W. Hunter

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977

Constructing verified and reliable communications processing systems.

Donald I. Good

ACM SIGSOFT Softw. Eng. Notes, 1977

1976

SIGSOFT tutorial on program verification (Tutorial Session).

Donald I. Good, Lloyd D. Fosdick

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

SICSOFT (Tutorial Session).

Donald I. Good, Lloyd D. Fosdick

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1975

An Interactive Program Verification System.

Donald I. Good, Ralph L. London, W. W. Bledsoe

IEEE Trans. Software Eng., 1975

Provable programming.

Donald I. Good

Proceedings of the International Conference on Reliable Software 1975, 1975

1974

Provable programs and processors.

Donald I. Good

Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1973

Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386).

Larry C. Ragland, Donald I. Good

Commun. ACM, 1973

New directions in teaching the fundamentals of computer science - discrete structures and computational analysis.

Raymond T. Yeh, Donald I. Good, David R. Musser

Proceedings of the 3rd SIGCSE Technical Symposium on Computer Science Education, 1973

1972

The MIX computer as an educational tool.

E. M. Greenawalt, Donald I. Good

Proceedings of the ACM annual conference, 1972

1970

Computer Interval Arithmetic: Definition and Proof of Correct Implementation.

Donald I. Good, Ralph L. London

J. ACM, 1970