A lightpen-controlled program for online data analysis. - John B. Goodenough 002 (Commun. ACM, 1965)

Contextual correlates of synonymy. - Herbert Rubenstein; John B. Goodenough 002 (Commun. ACM, 1965)

The comparison of programming languages: A linguistic approach. - John B. Goodenough 002 (ACM National Conference, 1968)

Tools for modular programming: Finding out what's needed. - John B. Goodenough 002 (ACM Annual Conference, 1973)

Structured Exception Handling. - John B. Goodenough 002 (POPL, 1975)

Exception Handling: Issues and a Proposed Notation. - John B. Goodenough 002 (Commun. ACM, 1975)

Software Engineering: Process, Principles, and Goals. - Douglas T. Ross; John B. Goodenough 002; C. A. Irvine (Computer, 1975)

Exception handling design issues. - John B. Goodenough 002 (ACM SIGPLAN Notices, 1975)

Toward a Theory of Test Data Selection. - John B. Goodenough 002; Susan L. Gerhart (IEEE Trans. Software Eng., 1975)

The need for optimization standards. - John B. Goodenough 002 (Design and Implementation of Programming Languages, 1976)

Transcript of question and answer session. - John B. Goodenough 002 (HOPL, 1978)

Biography of Douglas T. Ross. - John B. Goodenough 002 (HOPL, 1978)

Full text of all questions submitted. - John B. Goodenough 002 (HOPL, 1978)

Biography of Jules I. Schwartz. - John B. Goodenough 002 (HOPL, 1978)

The Ada Compiler Validation Capability. - John B. Goodenough 002 (Computer, 1981)

Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example. - John B. Goodenough 002; Thomas H. Probert (Ada Software Tools Interfaces, 1983)

Ada Compiler Validation: An Example of Software Testing Theory and Practice. - John B. Goodenough 002 (System Development and Ada, 1986)

Ada Compiler Technology. - John B. Goodenough 002 (COMPCON, 1987)

The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks. - John B. Goodenough 002; Lui Sha (IRTAW, 1988)

A practical application of the ceiling protocol in a real-time system. - C. Douglass Locke; John B. Goodenough 002 (IRTAW, 1988)

Real-time tasking semantics working group. - John B. Goodenough 002 (IRTAW, 1989)

Ada usage/performance specification. - Mark W. Borger; John B. Goodenough 002 (IRTAW, 1990)

Real-Time Scheduling Theory and Ada. - Lui Sha; John B. Goodenough 002 (Computer, 1990)

Ada 9X and Real-Time Systems. - John B. Goodenough 002 (TRI-Ada, 1992)

Software assurance for systems of systems. - John B. Goodenough 002; Linda M. Northrop (FoSER, 2010)

Needed foundations for assuring the desirable behavior of software-reliant systems. - Linda M. Northrop; Mark Klein 003; John B. Goodenough 002; Dennis B. Smith (FoSER, 2010)

Eliminative induction: a basis for arguing system confidence. - John B. Goodenough 002; Charles B. Weinstock; Ari Z. Klein (ICSE, 2013)

Measuring assurance case confidence using Baconian probabilities. - Charles B. Weinstock; John B. Goodenough 002; Ari Z. Klein (ASSURE@ICSE, 2013)

Building confidence in system behavior. - John B. Goodenough 002 (HILT, 2013)