@conference {3853,
	title = {Formal modelling as a component of user centred design},
	booktitle = {Workshop on Formal Methods for Interactive Systems (FMIS-2018), Springer LNCS, to appear},
	year = {2018},
	abstract = {<p>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 enhanced 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.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/masci/files/fmis18rev2-camera-ready.pdf},
	author = {Paolo Masci and Harrison, Michael D and Campos, Jos{\'e} C}
}