61
TITLE: Verifying user interface behaviour with model checking
AUTHORS: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
SOURCE: Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, PUBLISHED: 2004
INDEXED IN: DBLP
62
TITLE: Workshop on interdisciplinary approaches to achieving and analysing system dependability
AUTHORS: Harrison, M ; Strigini, L;
SOURCE: 2004 International Conference on Dependable Systems and Networks in Proceedings of the International Conference on Dependable Systems and Networks, PUBLISHED: 2004
INDEXED IN: Scopus
IN MY: ORCID
63
TITLE: From HCI to Software Engineering and Back PDF
AUTHORS: José Creissac Campos ; Michael D Harrison ;
SOURCE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA, PUBLISHED: 2003
INDEXED IN: DBLP
64
TITLE: Reuse in hazard analysis: Identification and support
AUTHORS: Smith, SP; Harrison, MD ;
SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2788, PUBLISHED: 2003
INDEXED IN: Scopus
IN MY: ORCID
65
TITLE: Augmenting descriptive scenario analysis for improvements in human reliability design
AUTHORS: Smith, SP; Harrison, MD ;
SOURCE: Applied Computing 2002: Proceeedings of the 2002 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, PUBLISHED: 2002
INDEXED IN: Scopus
IN MY: ORCID
66
TITLE: A toolset supported approach for designing and testing virtual environment interaction techniques  Full Text
AUTHORS: Willans, JS; Harrison, MD ;
SOURCE: International Journal of Human Computer Studies, VOLUME: 55, ISSUE: 2, PUBLISHED: 2001
INDEXED IN: Scopus CrossRef
IN MY: ORCID
67
TITLE: An evaluation of two function allocation methods
AUTHORS: Johnson, P; Harrison, M ; Wright, P;
SOURCE: People in Control. International Conference on Human Interfaces in Control Rooms, Cockpits and Command Centres in IEE Conference Publication, ISSUE: 481, PUBLISHED: 2001
INDEXED IN: Scopus
IN MY: ORCID
68
TITLE: Editorial: User centred design and implementation of virtual environments  Full Text
AUTHORS: Smith, SP; Harrison, MD ;
SOURCE: International Journal of Human Computer Studies, VOLUME: 55, ISSUE: 2, PUBLISHED: 2001
INDEXED IN: Scopus CrossRef
IN MY: ORCID
69
TITLE: Model checking interactor specifications
AUTHORS: Campos, JC ; Harrison, MD ;
SOURCE: Automated Software Engineering, VOLUME: 8, ISSUE: 3-4, PUBLISHED: 2001
INDEXED IN: Scopus DBLP
IN MY: ORCID
70
TITLE: Allocation of function: Scenarios, context and the economics of effort  Full Text
AUTHORS: Dearden, A; Harrison, M ; Wright, P;
SOURCE: International Journal of Human Computer Studies, VOLUME: 52, ISSUE: 2, PUBLISHED: 2000
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 7 of 10. Total results: 95.