C. W. Johnson

13 papers B 1C 2Journal 6Unranked 4

Year	Rank	Type	Title / Venue / Authors
2005	C	`conf`	Redesigning the Intermediate Course in Software Design. ACE C. W. Johnson, Ian Barnes
2005	C	`conf`	nk-Nearest Neighbor Algorithm for Estimation of Symbolic User Location in Pervasive Computing Environments. WOWMOM Teddy Mantoro, C. W. Johnson
1997	J	`jnl`	People, places and interfaces: using physiological constraints to inform the design of safety-critical user interfaces. ACM SIGCHI Bull. C. W. Johnson
1996	J	`jnl`	Literate specifications. Softw. Eng. J. C. W. Johnson
1996	—	`conf`	Programming with transactions and chemical abstract machine. ISPAN Wanli Ma, C. W. Johnson, Richard P. Brent
1995	J	`jnl`	Using Z to support the design of interactive safety-critical systems. Softw. Eng. J. C. W. Johnson
1993	J	`jnl`	A Probabilistic Logic for the Development of Safety-Critical, Interactive Systems. Int. J. Man Mach. Stud. C. W. Johnson
1992	J	`jnl`	Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems. Int. J. Man Mach. Stud. C. W. Johnson, Michael D. Harrison
1991	—	`conf`	Declarative Graphics And Dynamic Interaction. Eurographics C. W. Johnson, Michael D. Harrison
1990	—	`conf`	Prelog - a System for Presenting and Rendering Logic Specifications of Interactive Systems. Eurographics C. W. Johnson, Michael D. Harrison
1990	B	`conf`	Using temporal logic to prototype interactive systems. INTERACT C. W. Johnson
1982	—	`conf`	Semantic Errors - Diagnosis and Repair. SIGPLAN Symposium on Compiler Construction C. W. Johnson, Colin Runciman
1978	J	`jnl`	Simula 67 Through Run-Time Structure. Aust. Comput. J. C. W. Johnson