Search results for "C. W. Johnson"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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	2005	DBLP DOI BibTeX RDF	Simulation, Human factors, Evacuation, Accident analysis
1	C. W. Johnson, Ian Barnes	Redesigning the Intermediate Course in Software Design.	ACE	2005	DBLP BibTeX RDF
1	C. W. Johnson	The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions.	FM	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	simulation, user modeling, safety, evacuation
1	Teddy Mantoro, C. W. Johnson	nk-Nearest Neighbor Algorithm for Estimation of Symbolic User Location in Pervasive Computing Environments.	WOWMOM	2005	DBLP DOI BibTeX RDF
1	C. W. Johnson	The Team-Based Operation of Safety-Critical Programmable Systems.	Human Error, Safety and Systems Development	2004	DBLP BibTeX RDF
1	M. A. Jeffcott, C. W. Johnson	The Use of a Formalised Risk Model in NHS Information System Development.	Cognition, Technology & Work	2002	DBLP DOI BibTeX RDF	Information systems failure, NHS Information management, Organisational issues, Risk assessment
1	C. W. Johnson	The epistemics of accidents.	Int. J. Hum.-Comput. Stud.	1997	DBLP DOI BibTeX RDF
1	Wanli Ma, C. W. Johnson, Richard P. Brent	Programming with transactions and chemical abstract machine.	ISPAN	1996	DBLP DOI BibTeX RDF	chemical abstract machine, T-Cham, interactive computational model, T-Cham program, coordination style, transactions, transaction processing, high level languages, database languages
1	C. W. Johnson	A Probabilistic Logic for the Development of Safety-Critical, Interactive Systems.	International Journal of Man-Machine Studies	1993	DBLP DOI BibTeX RDF
1	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	1992	DBLP DOI BibTeX RDF
1	C. W. Johnson	Using temporal logic to prototype interactive systems.	INTERACT	1990	DBLP BibTeX RDF
1	C. W. Johnson, Colin Runciman	Semantic Errors - Diagnosis and Repair.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
1	C. W. Johnson	Simula 67 Through Run-Time Structure.	Australian Computer Journal	1978	DBLP BibTeX RDF

Publications of "C. W. Johnson" ( http://dblp.L3S.de/Authors/C._W._Johnson )