M.D. Harrison, P. Masci and J.C. Campos
Formal modelling as a component of user centred design
In FMIS 2018. (accepted)

Abstract

User centred design approaches typically focus understanding on context and producing sketch designs. These sketches are often non functional (e.g., paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The sketch design of a device is refined into a specification that is then analysed using formal techniques, thus providing a systematic approach to checking plausibility and consistency during early design stages. Once analysed, a further prototype is constructed using an executable form of the specification, providing the next candidate for evaluation with potential users.The technique is illustrated through an example based on a pill dispenser.

@inproceedings{HarrisonMC:2018a,
 author = {M.D. Harrison and P. Masci and J.C. Campos},
 title = {Formal modelling as a component of user centred design},
 booktitle = {FMIS 2018},
 note = {accepted},
 abstract = {User centred design approaches typically focus understanding on context and producing sketch designs. These sketches are often non functional (e.g., paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The sketch design of a device is refined into a specification that is then analysed using formal techniques, thus providing a systematic approach to checking plausibility and consistency during early design stages. Once analysed, a further prototype is constructed using an executable form of the specification, providing the next candidate for evaluation with potential users.The technique is illustrated through an example based on a pill dispenser.}
}

Generated by mkBiblio 2.6.21