Travelled to:1 × United Kingdom
2 × USA
Collaborated with:∅ C.Runciman
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: Johnson:C=_W=
Contributed to:
2005
2005
1982Wrote 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.