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 × United Kingdom
2 × USA
Collaborated with:
Talks about:
use (2) interact (1) diagnosi (1) softwar (1) septemb (1) mission (1) histori (1) semant (1) repair (1) method (1)

Person: C. W. Johnson

DBLP DBLP: Johnson:C=_W=

Contributed to:

CHI 20052005
FM 20052005
SCC 19821982

Wrote 3 papers:

CHI-2005-Johnson #design #interactive #lessons learnt #simulation #using
Applying the lessons of the attack on the world trade center, 11th September 2001, to the design and use of interactive evacuation simulations (CWJ), pp. 651–660.
FM-2005-Johnson #debugging #formal method #using
The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions (CWJ), pp. 9–25.
SCC-1982-JohnsonR #fault #semantics
Semantic Errors — Diagnosis and Repair (CWJ, CR), pp. 88–97.

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.