C. W. Johnson

Publication Activity (10 Years)

Years Active: 1978-2005
Publications (10 Years): 0

Publications

C. W. Johnson
Lessons from the evacuation of the world trade centre, 9/11 2001 for the development of computer-based simulations. Cogn. Technol. Work. 7 (4) (2005)
C. W. Johnson
The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions. FM (2005)
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)
Teddy Mantoro, C. W. Johnson
nk-Nearest Neighbor Algorithm for Estimation of Symbolic User Location in Pervasive Computing Environments. WOWMOM (2005)
C. W. Johnson, Ian Barnes
Redesigning the Intermediate Course in Software Design. ACE (2005)
C. W. Johnson
The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries. Human Error, Safety and Systems Development (2004)
C. W. Johnson
Reasons for the Failure of Incident Reporting in the Healthcare and Rail Industries. SSS (2002)
M. A. Jeffcott, C. W. Johnson
The Use of a Formalised Risk Model in NHS Information System Development. Cogn. Technol. Work. 4 (2) (2002)
C. W. Johnson
The epistemics of accidents. Int. J. Hum. Comput. Stud. 47 (5) (1997)
C. W. Johnson
People, places and interfaces: using physiological constraints to inform the design of safety-critical user interfaces. ACM SIGCHI Bull. 29 (1) (1997)
C. W. Johnson
Literate specifications. Softw. Eng. J. 11 (4) (1996)
Wanli Ma, C. W. Johnson, Richard P. Brent
Programming with transactions and chemical abstract machine. ISPAN (1996)
C. W. Johnson
Using Z to support the design of interactive safety-critical systems. Softw. Eng. J. 10 (2) (1995)
C. W. Johnson
A Probabilistic Logic for the Development of Safety-Critical, Interactive Systems. Int. J. Man Mach. Stud. 39 (2) (1993)
C. W. Johnson, Michael D. Harrison
Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems. Int. J. Man Mach. Stud. 37 (3) (1992)
C. W. Johnson, Michael D. Harrison
Declarative Graphics And Dynamic Interaction. Eurographics (1991)
C. W. Johnson
Using temporal logic to prototype interactive systems. INTERACT (1990)
C. W. Johnson, Michael D. Harrison
Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems. Eurographics (1990)
C. W. Johnson, Colin Runciman
Semantic Errors - Diagnosis and Repair. SIGPLAN Symposium on Compiler Construction (1982)
C. W. Johnson
Simula 67 Through Run-Time Structure. Aust. Comput. J. 10 (2) (1978)