John B. Goodenough

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