<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Paolo Masci</style></author><author><style face="normal" font="default" size="100%">Harrison, Michael D</style></author><author><style face="normal" font="default" size="100%">Campos, José C</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Formal modelling as a component of user centred design</style></title><secondary-title><style face="normal" font="default" size="100%">Workshop on Formal Methods for Interactive Systems (FMIS-2018), Springer LNCS, to appear</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/masci/files/fmis18rev2-camera-ready.pdf</style></url></related-urls></urls><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract></record></records></xml>