Michael Douglas Harrison


AuthID: R-00F-KRW

Confirmed Publications: 96



81
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain
INDEXED IN: DBLP
82
TITLE: Impact and the design of the human-machine interface  Full Text
AUTHORS: Dearden, AM; Harrison, MD ;
PUBLISHED: 1997, SOURCE: IEEE Aerospace and Electronic Systems Magazine, VOLUME: 12, ISSUE: 2
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
83
TITLE: Locating the scene: The particular and the general in contexts for ambulance control
AUTHORS: McCarthy John, C; Wright Peter, C; Patrick Healey; Andrew Dearden; Harrison Michael, D ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 International ACM SIGGROUP Conference on Supporting Group Work, GROUP'97 in Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work
INDEXED IN: Scopus
IN MY: ORCID
84
TITLE: Impact and the design of the human-machine interface
AUTHORS: Dearden, AM; Harrison, MD ;
PUBLISHED: 1996, SOURCE: Proceedings of the 1996 11th Annual Conference on Computer Assurance, COMPASS'96 in COMPASS - Proceedings of the Annual Conference on Computer Assurance
INDEXED IN: Scopus
IN MY: ORCID
85
TITLE: Event model of human-system interaction
AUTHORS: Duke, DJ; Harrison, MD ;
PUBLISHED: 1995, SOURCE: Software engineering journal, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
86
TITLE: Mapping user requirements to implementations
AUTHORS: Duke, DJ; Harrison, MD ;
PUBLISHED: 1995, SOURCE: Software engineering journal, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
87
TITLE: Soft science and technology meets cognitive science and human-computer interaction for cooperation
AUTHORS: Long, J; Inoue, H; Kato, T; Miyake, N; Green, T; Harrison, M ; Pollitzer, E;
PUBLISHED: 1995, SOURCE: Advances in Human Factors/Ergonomics, VOLUME: 20, ISSUE: C
INDEXED IN: Scopus CrossRef
IN MY: ORCID
88
TITLE: Task centered approach to analysing human error tolerance requirements
AUTHORS: Fields, RE; Wright, PC; Harrison, MD ;
PUBLISHED: 1995, SOURCE: Proceedings of the 2nd IEEE International Symposium on Requirements Engineering in Proceedings of the IEEE International Conference on Requirements Engineering
INDEXED IN: Scopus
IN MY: ORCID
89
TITLE: Using Interaction Framework to guide the design of interactive systems  Full Text
AUTHORS: Blandford, AE; Barnard, PJ; Harrison, MD ;
PUBLISHED: 1995, SOURCE: International Journal of Human - Computer Studies, VOLUME: 43, ISSUE: 1
INDEXED IN: Scopus CrossRef: 10
IN MY: ORCID
90
TITLE: Deriving human-error tolerance requirements tasks
AUTHORS: Peter Wright; Bob Fields; Michael Harrison ;
PUBLISHED: 1994, SOURCE: Proceedings of the 1st International Conference on Requirements Engineering in Proceedings of the International Conference on Requirements Engineering
INDEXED IN: Scopus
IN MY: ORCID
Page 9 of 10. Total results: 96.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service