Toggle Main Menu Toggle Search

ePrints

Mapping User Requirements to Implementations

Lookup NU author(s): Professor Michael Harrison

Downloads

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


Abstract

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

URL: http://dx.doi.org/10.1049/sej.1995.0003

DOI: 10.1049/sej.1995.0003


Altmetrics

Altmetrics provided by Altmetric


Actions

    Link to this publication


Share