skip to primary navigation skip to content

CBSU bibliography search

To request a reprint of a CBSU publication, please click here to send us an email (reprints may not be available for all publications)

The requirements engineering of user freedom.
Harrison, M., Blandford, A. & Barnard, P.
In F. Paterno (Ed.), The Design, Specification and Verification of Interactive Systems, Berlin: Springer Verlag
Year of publication:
CBU number:
In this paper we explore properties of interactive systems that contribute to a notion of {em freedom} in the interaction. These notions include initiative, potential, history and invariance. We use interaction framework to describe these properties. Our aim is two fold: to provide an unambiguous reference for psychologists; and to provide a design representation for system engineers. We wish to provide a notational framework which is neutral with respect to user or computer system details so that appropriate interactional requirements may be employed in the design and understanding of interactive systems.