C. W. Johnson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2005

2004

The Team-Based Operation of Safety-Critical Programmable SystemsC. W. Johnson. ifip13 2004: 255-270

2002

The Use of a Formalised Risk Model in NHS Information System DevelopmentM. A. Jeffcott, C. W. Johnson. ctw, 4(2):120-136, 2002. [doi]

Reasons for the Failure of Incident Reporting in the Healthcare and Rail IndustriesC. W. Johnson. scss 2002: 31-57 [doi]

1997

The epistemics of accidentsC. W. Johnson. ijmms, 47(5):659-688, 1997. [doi]

People, places and interfaces: using physiological constraints to inform the design of safety-critical user interfacesC. W. Johnson. sigchi, 29(1):36-40, 1997. [doi]

1996

Literate specificationsC. W. Johnson. iee, 11(4):225-237, 1996. [doi]

Programming with transactions and chemical abstract machineWanli Ma, C. W. Johnson, Richard P. Brent. ispan 1996: 562-564 [doi]

1995

Using Z to support the design of interactive safety-critical systemsC. W. Johnson. iee, 10(2):49-60, 1995. [doi]

1993

A Probabilistic Logic for the Development of Safety-Critical, Interactive SystemsC. W. Johnson. ijmms, 39(2):333-351, 1993.

1992

Using Temporal Logic to Support the Specification and Prototyping of Interactive Control SystemsC. W. Johnson, Michael D. Harrison. ijmms, 37(3):357-385, 1992.

1991

Declarative Graphics And Dynamic InteractionC. W. Johnson, Michael D. Harrison. eurographics 1991: 195-208 [doi]

1990

Using temporal logic to prototype interactive systemsC. W. Johnson. ACMdis 1990: 1019-1020

Prelog - a System for Presenting and Rendering Logic Specifications of Interactive SystemsC. W. Johnson, Michael D. Harrison. eurographics 1990: [doi]

1982

Semantic Errors - Diagnosis and RepairC. W. Johnson, Colin Runciman. sigplan 1982: 88-97 [doi]

1978

Simula 67 Through Run-Time StructureC. W. Johnson. acj, 10(2):60, 1978.

Sign in or sign up to see more results.

runs on WebDSL