 | 2005 |
|---|
| 14 |       | C. W. Johnson,
Ian Barnes:
Redesigning the Intermediate Course in Software Design.
ACE 2005: 249-258 |
| 13 | | C. W. Johnson:
Applying the lessons of the attack on the world trade center, 11th September 2001, to the design and use of interactive evacuation simulations.
CHI 2005: 651-660 |
| 12 | | C. W. Johnson:
The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions.
FM 2005: 9-25 |
| 11 | | Teddy Mantoro,
C. W. Johnson:
nk-Nearest Neighbor Algorithm for Estimation of Symbolic User Location in Pervasive Computing Environments.
WOWMOM 2005: 472-474 |
| 10 | | C. W. Johnson:
Lessons from the evacuation of the world trade centre, 9/11 2001 for the development of computer-based simulations.
Cognition, Technology & Work 7(4): 214-240 (2005) |
| 2004 |
|---|
| 9 |  | C. W. Johnson:
The Team-Based Operation of Safety-Critical Programmable Systems.
Human Error, Safety and Systems Development 2004: 255-270 |
| 2002 |
|---|
| 8 | | M. A. Jeffcott,
C. W. Johnson:
The Use of a Formalised Risk Model in NHS Information System Development.
Cognition, Technology & Work 4(2): 120-136 (2002) |
| 1997 |
|---|
| 7 | | C. W. Johnson:
The epistemics of accidents.
Int. J. Hum.-Comput. Stud. 47(5): 659-688 (1997) |
| 1996 |
|---|
| 6 | | Wanli Ma,
C. W. Johnson,
Richard P. Brent:
Programming with transactions and chemical abstract machine.
ISPAN 1996: 562-564 |
| 1993 |
|---|
| 5 | | C. W. Johnson:
A Probabilistic Logic for the Development of Safety-Critical, Interactive Systems.
International Journal of Man-Machine Studies 39(2): 333-351 (1993) |
| 1992 |
|---|
| 4 | | C. W. Johnson,
Michael D. Harrison:
Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems.
International Journal of Man-Machine Studies 37(3): 357-385 (1992) |
| 1990 |
|---|
| 3 | | C. W. Johnson:
Using temporal logic to prototype interactive systems.
INTERACT 1990: 1019-1020 |
| 1982 |
|---|
| 2 | | C. W. Johnson,
Colin Runciman:
Semantic Errors - Diagnosis and Repair.
SIGPLAN Symposium on Compiler Construction 1982: 88-97 |
| 1978 |
|---|
| 1 | | C. W. Johnson:
Simula 67 Through Run-Time Structure.
Australian Computer Journal 10(2): 60 (1978) |
