Abstract
As part of the ESPRIT Basic Research Action ‘AMODEUS-2’ we are investigating the role of formal methods in specifying and understanding properties of systems as they relate to usability. This paper summarises a case study in which a formal specification is employed to understand user-significant properties of an interactionally rich audio-visual (AV) environment. We show how user-oriented requirements need to be considered both in the initial abstract task-oriented specification and in the subsequent refinement process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Abowd. Formal aspects of human-computer interaction. D.Phil Thesis, Oxford University Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.
S. Bly, S. Harrison, and S. Irwin. Media spaces: Bringing people together in a video, audio and computing environment. Communications of the ACM, 36(1), January 1993.
A. Dix. Formal Methods for Interactive Systems. Academic Press, 1991.
P. Dourish and S. Bly. Portholes: Supporting awareness in distributed work groups. In Proc. ACM Conference on Human Factors in Computer Systems: CHI ′92. Addison-Wesley, 1992.
D.J. Duke and M.D. Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3), 1993. Conference Issue: Proc. Eurographics’93.
D.J. Duke and M.D. Harrison. Mapping user requirements to implementations. Submitted to Software Engineering Journal. Based on Amodeus-2 document sysmod/sm__wpl6, 1993.
D.J. Duke and M.D. Harrison. Connections: From A(V) to Z. Technical Report SM/WP29, ESPRIT BRA 7040 Amodeus-2, January 1994. File: sysmod/sm_wp29. ps.
B. Gaver, T. Moran, A. MacLean, L. Lovstrand, P. Dourish, K. Carter, and B. Buxton. Realising a video environment: Europarc’s RAVE system. In Proc. ACM Conference on Human Factors in Computer Systems: CHI ′92. Addison-Wesley, 1992.
M.D. Harrison. A model for the option space of interactive systems. In Engineering for Human-Computer Interaction: Proc IFIP WG2.7 Conf. Elsevier, 1992.
M.D. Harrison and A. Dix. A state model of direct manipulation. In M.D. Harrison and H.W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 129–151. Cambridge University Press, 1990.
H.R. Hartson and P.D. Gray. Temporal aspects of tasks in the user action notation. Human-Computer Interaction, 7:1–45, 1992.
C.B. Jones. Systematic Soßware Development Using VDM. Prentice Hall International, second edition, 1990.
L.S. Marshall. Formally describing interactive systems. In C.B. Jones and R. Shaw, editors, Case Studies in Systematic Software Development, pages 293–336. Prentice Hall, 1990.
J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992.
B. Sufrin and J. He. Specification, refinement, and analysis of interactive processes. In M.D. Harrison and H.W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 153–200. Cambridge University Press, 1990.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 EUROGRAPHICS The European Association for Computer Graphics
About this paper
Cite this paper
Duke, D.J., Harrison, M.D. (1995). Folding Human Factors Into Rigorous Development. In: Paternó, F. (eds) Interactive Systems: Design, Specification, and Verification. Focus on Computer Graphics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-87115-3_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-87115-3_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-87117-7
Online ISBN: 978-3-642-87115-3
eBook Packages: Springer Book Archive