Michael Harrison
Michael Harrison
Professor of Informatics, Newcastle University
Vahvistettu sähköpostiosoite verkkotunnuksessa ncl.ac.uk
Nimike
Viittaukset
Viittaukset
Vuosi
Analyzing human-computer interaction as distributed cognition: the resources model
PC Wright, RE Fields, MD Harrison
Human-Computer Interaction 15 (1), 1-41, 2000
3142000
Abstract interaction objects
DJ Duke, MD Harrison
Computer Graphics Forum 12 (3), 25-36, 1993
3041993
Formal methods in human-computer interaction
MD Harrison, H Thimbleby
CUP Archive, 1990
1791990
Allocation of function: scenarios, context and the economics of effort
A Dearden, M Harrison, P Wright
International Journal of Human-Computer Studies 52 (2), 289-318, 2000
1282000
Model checking interactor specifications
JC Campos, MD Harrison
Automated Software Engineering 8 (3), 275-310, 2001
1122001
Systematic analysis of control panel interfaces using formal tools
JC Campos, MD Harrison
International Workshop on Design, Specification, and Verification of …, 2008
982008
Interaction engineering using the IVY tool
JC Campos, MD Harrison
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009
952009
Formally verifying interactive systems: A review
JC Campos, MD Harrison
Design, Specification and Verification of Interactive Systems’ 97, 109-124, 1997
901997
THEA-a technique for human error assessment early in design
S Pocock, P Wright, M Harrison
YORK UNIV (UNITED KINGDOM) DEPT OF COMPUTER SCIENCE, 2001
812001
A review of formalisms for describing interactive behaviour
MD Harrison, DJ Duke
Workshop on Software Engineering and Human-Computer Interaction, 49-75, 1994
761994
Reviewing designs for a synchronous-asynchronous group editing environment
VC Miles, JC McCarthy, AJ Dix, MD Harrison, AF Monk
Computer supported collaborative writing, 137-160, 1993
711993
Mapping user requirements to implementations
DJ Duke, MD Harrison
Software Engineering Journal 10 (1), 13-20, 1995
701995
A state model of direct manipulation in interactive systems
M Harrison, A Dix
Formal methods in human-computer interaction, 129-151, 1990
691990
A toolset supported approach for designing and testing virtual environment interaction techniques
JS Willans, MD Harrison
International Journal of Human-Computer Studies 55 (2), 145-165, 2001
682001
Unifying views of interactors
D Duke, G Faconti, M Harrison, F Paternò
Proceedings of the workshop on Advanced visual interfaces, 143-152, 1994
621994
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example
P Masci, A Ayoub, P Curzon, MD Harrison, I Lee, H Thimbleby
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
602013
Using Interaction Framework to guide the design of interactive systems
AE Blandford, PJ Barnard, MD Harrison
International journal of human-computer studies 43 (1), 101-130, 1995
591995
Event model of human-system interaction
DJ Duke, MD Harrison
Software Engineering Journal 10 (1), 3-12, 1995
591995
Distributed information resources: A new approach to interaction modelling
PC Wright, B Fields, MD Harrison
Proceedings of ECCE8: Eighth European Conference on Cognitive Ergonomics, 10-13, 1996
561996
Integrating cognitive and system models in human-computer interaction
MD Harrison, P Barnard
People and computers V, 87-104, 1989
501989
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20