Systematic Development of the Human Interface (1995)
Cached
Download Links
- [csdl.computer.org]
- [ftp.mrc-apu.cam.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | IN APSEC'95: SECOND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE |
| Citations: | 8 - 4 self |
BibTeX
@INPROCEEDINGS{Duke95systematicdevelopment,
author = {D. J. Duke and P. J. Barnard and J. May and D. A. Duce},
title = {Systematic Development of the Human Interface},
booktitle = {IN APSEC'95: SECOND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE},
year = {1995},
pages = {313--321},
publisher = {IEEE Computer Society Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The problem of developing software to meet precise specifications has lead to the development of mathematical notations for expressing and reasoning about the behaviour of a required or extant system. In this paper we describe a different use of formal models: as tools for gathering and consolidating requirements on interaction between engineered systems and their users. This change in focus reflects the growing use of sophisticated interactive technology in domains, such as medicine, where human comfort or safety is an issue. Not only must software systems function correctly, but the demands that the interface places on users of those systems need to be understood. This problem can not be addressed by formal models in isolation. Instead, we describe an approach that uses formal models of human information processing to augment models of system functions. As a result it becomes possible, at an early stage in system design, to consider the role of human cognition in the correct behaviou...
