Browse by author
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
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 provided by Altmetric