Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Modelling as a Component of User Centred Design

Lookup NU author(s): Professor Michael HarrisonORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


© Springer Nature Switzerland AG 2018. 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.

Publication metadata

Author(s): Harrison MD, Masci P, Campos JC

Editor(s): Mazzara M, Ober I, Salaün G

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Software Technologies: Applications and Foundations. STAF 2018

Year of Conference: 2018

Pages: 274-289

Online publication date: 06/12/2018

Acceptance date: 06/12/2018

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-030-04771-9_21

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783030047702