Toggle Main Menu Toggle Search

Open Access padlockePrints

Mapping User Requirements to Implementations

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.


The trend towards systems that support a rich variety of interaction techniques has consequences for the traditional understanding of software design practice. Formal approaches to software development have mainly focused on design expressions that avoid explicit discussion of interactive behaviour. The emphasis in rigorous development is on transforming a mathematical specification into an implementation through a series of valid refinement steps. However, any design process for interactive systems must also add user oriented requirements. It is suggested that a suitable concern for human factors can be folded into a rigorous development process by generalising from functional models and refinement to models that provide multiple viewpoints onto the design artefacts. The paper provides an overview of the relevant perspectives and describes work aimed at integrating them within the specification phase of software development

Publication metadata

Author(s): Duke DJ, Harrison MD

Publication type: Article

Publication status: Published

Journal: Software Engineering Journal

Year: 1995

Volume: 10

Issue: 1

Pages: 13-20

Print publication date: 22/04/2010

ISSN (print): 1751-8806

Publisher: Institution of Electrical Engineers


DOI: 10.1049/sej.1995.0003


Altmetrics provided by Altmetric