BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × United Kingdom
5 × USA
Collaborated with:
T.H.Probert C.B.Weinstock A.Z.Klein
Talks about:
system (3) ada (3) softwar (2) exampl (2) confid (2) test (2) structur (1) standard (1) interfac (1) behavior (1)

Person: John B. Goodenough

DBLP DBLP: Goodenough:John_B=

Contributed to:

HILT 20132013
ICSE 20132013
TRI-Ada 19921992
Software Development and Ada 19861986
Ada Software Tools Interfaces 19831983
Design and Implementation of Programming Languages 19761976
POPL 19751975

Wrote 7 papers:

HILT-2013-Goodenough #behaviour
Building confidence in system behavior (JBG), pp. 49–50.
ICSE-2013-GoodenoughWK #induction
Eliminative induction: a basis for arguing system confidence (JBG, CBW, AZK), pp. 1161–1164.
TRI-Ada-C-1992-Goodenough #ada #realtime
Ada 9X and Real-Time Systems (JBG), pp. 43–47.
CRAI-1986-Goodenough #ada #compilation #testing #theory and practice #validation
Ada Compiler Validation: An Example of Software Testing Theory and Practice (JBG), pp. 195–232.
Ada-1983-GoodenoughP #ada #design #interface #testing
Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example (JBG, THP), pp. 104–114.
DIPL-1976-Goodenough #optimisation #standard
The need for optimization standards (JBG), pp. 335–344.
POPL-1975-Goodenough #exception
Structured Exception Handling (JBG), pp. 204–224.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.