John B. Goodenough - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2013

Building confidence in system behaviorJohn B. Goodenough. sigada 2013: 49-50 [doi]

Eliminative induction: a basis for arguing system confidenceJohn B. Goodenough, Charles B. Weinstock, Ari Z. Klein. ICSE 2013: 1161-1164 [doi]

Measuring assurance case confidence using Baconian probabilitiesCharles B. Weinstock, John B. Goodenough, Ari Z. Klein. ICSE 2013: 7-11 [doi]

1992

Ada 9X and Real-Time SystemsJohn B. Goodenough. sigada 1992: 43-47 [doi]

1990

Real-Time Scheduling Theory and AdaLui Sha, John B. Goodenough. Computer, 23(4):53-62, 1990.

1987

Ada Compiler TechnologyJohn B. Goodenough. compcon 1987: 366

1986

Ada Compiler Validation: An Example of Software Testing Theory and PracticeJohn B. Goodenough. Ada-Europe 1987: 195-232

1983

Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an ExampleJohn B. Goodenough, Thomas H. Probert. Ada-Europe 1984: 104-114

1981

The Ada Compiler Validation CapabilityJohn B. Goodenough. Computer, 14(6):57-64, 1981. [doi]

1976

The need for optimization standardsJohn B. Goodenough. sigada 1977: 335-344

1975

Toward a Theory of Test Data SelectionJohn B. Goodenough, Susan L. Gerhart. TSE, 1(2):156-173, 1975.

Structured Exception HandlingJohn B. Goodenough. POPL 1975: 204-224

Exception Handling: Issues and a Proposed NotationJohn B. Goodenough. CACM, 18(12):683-696, 1975.

Software Engineering: Process, Principles, and GoalsDouglas T. Ross, John B. Goodenough, C. A. Irvine. Computer, 8(5):17-27, 1975. [doi]

1973

Tools for modular programming: Finding out what's neededJohn B. Goodenough. acm 1973: [doi]

1965

A lightpen-controlled program for online data analysisJohn B. Goodenough. CACM, 8(2):130-134, 1965. [doi]

Contextual correlates of synonymyHerbert Rubenstein, John B. Goodenough. CACM, 8(10):627-633, 1965. [doi]

Sign in or sign up to see more results.

runs on WebDSL