John B. Goodenough

Publication Activity (10 Years)

Years Active: 1965-2013
Publications (10 Years): 0

Top Topics

Concept Formation

High Confidence

Top Venues

Publications

John B. Goodenough, Charles B. Weinstock, Ari Z. Klein
Eliminative induction: a basis for arguing system confidence. ICSE (2013)
John B. Goodenough
Building confidence in system behavior. HILT (2013)
Charles B. Weinstock, John B. Goodenough, Ari Z. Klein
Measuring assurance case confidence using Baconian probabilities. ASSURE@ICSE (2013)
Linda M. Northrop, Mark Klein, John B. Goodenough, Dennis B. Smith
Needed foundations for assuring the desirable behavior of software-reliant systems. FoSER (2010)
John B. Goodenough, Linda M. Northrop
Software assurance for systems of systems. FoSER (2010)
John B. Goodenough
Ada 9X and Real-Time Systems. TRI-Ada (1992)
Lui Sha, John B. Goodenough
Real-Time Scheduling Theory and Ada. Computer 23 (4) (1990)
Mark W. Borger, John B. Goodenough
Ada usage/performance specification. IRTAW (1990)
John B. Goodenough
Real-time tasking semantics working group. IRTAW (1989)
John B. Goodenough, Lui Sha
The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks. IRTAW (1988)
C. Douglass Locke, John B. Goodenough
A practical application of the ceiling protocol in a real-time system. IRTAW (1988)
John B. Goodenough
Ada Compiler Technology. COMPCON (1987)
John B. Goodenough
Ada Compiler Validation: An Example of Software Testing Theory and Practice. System Development and Ada (1986)
John B. Goodenough, Thomas H. Probert
Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example. Ada Software Tools Interfaces (1983)
John B. Goodenough
The Ada Compiler Validation Capability. Computer 14 (6) (1981)
John B. Goodenough
The Ada compiler validation capability. SIGPLAN (1980)
John B. Goodenough
Transcript of question and answer session. HOPL (1978)
John B. Goodenough
Biography of Jules I. Schwartz. HOPL (1978)
John B. Goodenough
Full text of all questions submitted. HOPL (1978)
John B. Goodenough
Full text of all questions submitted. HOPL (1978)
John B. Goodenough
Biography of Douglas T. Ross. HOPL (1978)
John B. Goodenough
Transcript of question and answer session. HOPL (1978)
John B. Goodenough
The need for optimization standards. Design and Implementation of Programming Languages (1976)
Douglas T. Ross, John B. Goodenough, C. A. Irvine
Software Engineering: Process, Principles, and Goals. Computer 8 (5) (1975)
John B. Goodenough
Exception handling design issues. ACM SIGPLAN Notices 10 (7) (1975)
John B. Goodenough, Susan L. Gerhart
Toward a theory of test data selection. Reliable Software (1975)
John B. Goodenough
Exception Handling: Issues and a Proposed Notation. Commun. ACM 18 (12) (1975)
John B. Goodenough, Susan L. Gerhart
Toward a Theory of Test Data Selection. IEEE Trans. Software Eng. 1 (2) (1975)
John B. Goodenough
Structured Exception Handling. POPL (1975)
John B. Goodenough
Tools for modular programming: Finding out what's needed. ACM Annual Conference (1973)
John B. Goodenough
The comparison of programming languages: A linguistic approach. ACM National Conference (1968)
Herbert Rubenstein, John B. Goodenough
Contextual correlates of synonymy. Commun. ACM 8 (10) (1965)
John B. Goodenough
A lightpen-controlled program for online data analysis. Commun. ACM 8 (2) (1965)