BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × France
1 × Italy
1 × South Korea
1 × Switzerland
1 × United Kingdom
2 × Spain
4 × USA
Collaborated with:
B.Fields P.C.Wright P.J.Barnard M.Massink D.Latella K.Loer S.P.Smith D.J.Duke A.F.Monk R.Ruksenas P.Curzon A.Bracciali A.J.Dix C.Runciman H.W.Thimbleby T.Gomes T.Abade J.C.Campos J.L.Silva N.Hammond J.Coutaz A.MacLean R.M.Young
Talks about:
interact (6) system (5) analysi (4) human (4) requir (3) design (3) model (3) behaviour (2) scenario (2) approach (2)

Person: Michael D. Harrison

DBLP DBLP: Harrison:Michael_D=

Contributed to:

SAC 20142014
IFM 20132013
SAC 20102010
SEFM 20102010
ASE 20022002
SAC 20022002
RE 19951995
FME 19941994
ICRE 19941994
RE 19931993
CHI 19911991
CHI 19901990
ESEC 19871987

Wrote 13 papers:

SAC-2014-GomesACHS #agile #development #framework #game studies #platform #using
Rapid development of first person serious games using the APEX platform: the asthma game (TG, TA, JCC, MDH, JLS), pp. 169–174.
IFM-2013-RuksenasCH #behaviour #evaluation #interactive #predict
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation (RR, PC, MDH), pp. 238–252.
SAC-2010-MassinkHL #analysis #behaviour #scalability
Scalable analysis of collective behaviour in smart service systems (MM, MDH, DL), pp. 1173–1180.
SEFM-2010-MassinkLBH #algebra #analysis #approach #process #scalability
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (MM, DL, AB, MDH), pp. 169–180.
ASE-2002-LoerH #analysis #interactive #model checking #towards
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems (KL, MDH), pp. 223–226.
SAC-2002-SmithH #analysis #design #reliability
Augmenting descriptive scenario analysis for improvements in human reliability design (SPS, MDH), pp. 739–743.
RE-1995-FieldsWH #approach #fault #requirements
A task centered approach to analysing human error tolerance requirements (BF, PCW, MDH), pp. 18–26.
FME-1994-DukeH #formal method
A Theory of Presentations (DJD, MDH), pp. 271–290.
ICRE-1994-WrightFH #requirements
Deriving human-error tolerance requirements from tasks (PCW, BF, MDH), pp. 135–142.
RE-1993-HarrisonB #interactive #on the #requirements
On defining requirements for interaction (MDH, PJB), pp. 50–54.
CHI-1991-HammondBCHMY #design #matrix #modelling
Modelling user, system design: results of a scenarios matrix exercise (NH, PJB, JC, MDH, AM, RMY), pp. 377–380.
CHI-1990-HarrisonM #interactive #overview
Human computer interaction group, University of York, U.K. (lab review) (MDH, AFM), pp. 85–86.
ESEC-1987-DixHRT #design #interactive #modelling
Interaction Models and the Principled Design of Interactive Systems (AJD, MDH, CR, HWT), pp. 118–126.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.