We stand with Ukraine  

John B. Goodenough

Affiliations:
  • Carnegie Mellon University, Software Engineering, Institute, Pittsburgh, PA, USA
  • SofTech, Inc., Waltham, MA, USA
  • Decision Sciences Lab, Bedford, MA, USA


According to our database1, John B. Goodenough authored at least 29 papers between 1965 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2013
Building confidence in system behavior.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Measuring assurance case confidence using Baconian probabilities.
[BibTeX]
[DOI]
Charles B. Weinstock
,
John B. Goodenough
,
Ari Z. Klein
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

Eliminative induction: a basis for arguing system confidence.
[BibTeX]
[DOI]
John B. Goodenough
,
Charles B. Weinstock
,
Ari Z. Klein
Proceedings of the 35th International Conference on Software Engineering, 2013

2010
Needed foundations for assuring the desirable behavior of software-reliant systems.
[BibTeX]
[DOI]
Linda M. Northrop
,
Mark Klein
,
John B. Goodenough
,
Dennis B. Smith
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Software assurance for systems of systems.
[BibTeX]
[DOI]
John B. Goodenough
,
Linda M. Northrop
Proceedings of the Workshop on Future of Software Engineering Research, 2010

1992
Ada 9X and Real-Time Systems.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

1990
Real-Time Scheduling Theory and Ada.
[BibTeX]
[DOI]
Lui Sha
,
John B. Goodenough
Computer, 1990

Ada usage/performance specification.
[BibTeX]
[DOI]
Mark W. Borger
,
John B. Goodenough
Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

1989
Real-time tasking semantics working group.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

1988
A practical application of the ceiling protocol in a real-time system.
[BibTeX]
[DOI]
C. Douglass Locke
,
John B. Goodenough
Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988

The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks.
[BibTeX]
[DOI]
John B. Goodenough
,
Lui Sha
Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988

1987
Ada Compiler Technology.
[BibTeX]
John B. Goodenough
Proceedings of the COMPCON'87, 1987

1986
Ada Compiler Validation: An Example of Software Testing Theory and Practice.
[BibTeX]
John B. Goodenough
Proceedings of the Software Development and Ada, 1986

1983
Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example.
[BibTeX]
[DOI]
John B. Goodenough
,
Thomas H. Probert
Proceedings of the Ada Software Tools Interfaces, 1983

1981
The Ada Compiler Validation Capability.
[BibTeX]
[DOI]
John B. Goodenough
Computer, 1981

1978
Biography of Jules I. Schwartz.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the History of Programming Languages, 1978

Full text of all questions submitted.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the History of Programming Languages, 1978

Biography of Douglas T. Ross.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the History of Programming Languages, 1978

Transcript of question and answer session.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the History of Programming Languages, 1978

1976
The need for optimization standards.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30, 1976

1975
Toward a Theory of Test Data Selection.
[BibTeX]
[DOI]
John B. Goodenough
,
Susan L. Gerhart
IEEE Trans. Software Eng., 1975

Exception handling design issues.
[BibTeX]
[DOI]
John B. Goodenough
ACM SIGPLAN Notices, 1975

Software Engineering: Process, Principles, and Goals.
[BibTeX]
[DOI]
Douglas T. Ross
,
John B. Goodenough
,
C. A. Irvine
Computer, 1975

Exception Handling: Issues and a Proposed Notation.
[BibTeX]
[DOI]
John B. Goodenough
Commun. ACM, 1975

Structured Exception Handling.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

1973
Tools for modular programming: Finding out what's needed.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the ACM annual conference, Atlanta, Georgia, USA, August 27-29, 1973, 1973

1968
The comparison of programming languages: A linguistic approach.
[BibTeX]
[DOI]
John B. Goodenough
Proceedings of the 23rd ACM national conference, 1968

1965
Contextual correlates of synonymy.
[BibTeX]
[DOI]
Herbert Rubenstein
,
John B. Goodenough
Commun. ACM, 1965

A lightpen-controlled program for online data analysis.
[BibTeX]
[DOI]
John B. Goodenough
Commun. ACM, 1965


  Loading...