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)

On defining requirements for interactions.
Harrison, M.D. & Barnard, P.J.
In A. Finkelstein (Ed.), Proceedings of the IEEE International Workshop on Requirements Engineering (pp. 50-54). New York: IEEE.
Year of publication:
CBU number:
Requirements that involve the usability of systems can be properties of interactions rather than systems alone. We demonstrate this proposition by means of four examples and then suggest how a notation like CSP may be used to provide a framework for considering different modelling approaches. Interaction requirements that related to multi-windowed systems, walk up and use systems and dynamic systems such as power stations are considered. The paper shows how models provide different representations into which advice from the different disciplines of human computer interaction may be applied.