Interaction and Task Requirements

Novel interaction techniques required for particular work domains or user communities may interfere with the functional or task-oriented requirements that a system is intended to support. This paper suggests that potential conflicts between these two types of requirements can be identified early in the design process through the use of appropriate specification techniques. Here ‘appropriate’ means both that the structures used to express the specification must be able to represent perceivable elements of the system, and that the process through which the specification is constructed must allow for multi-disciplinary insight into the design problem. This paper explores the relationship between a specification and user requirements in the early stages of the design process of a multi-modal user interface.

[1]  Ian J. Hayes,et al.  Specification case studies , 1987 .

[2]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[3]  David J. Duke.  Reasoning About Gestural Interaction , 1995, Comput. Graph. Forum.

[4]  Cliff B. Jones,et al.  Case studies in systematic software development , 1990 .

[5]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[6]  Fabio Paternò,et al.  A Semantics‐based Approach for the Design and Implementation of Interaction Objects , 1994, Comput. Graph. Forum.

[7]  Philip J. Barnard,et al.  Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge , 1994, DSV-IS.

[8]  Anthony Hall,et al.  Seven myths of formal methods , 1990, IEEE Software.

[9]  Michael D. Harrison,et al.  Unifying views of interactors , 1994, AVI '94.

[10]  Michael D. Harrison,et al.  From Formal Models to Formal Methods , 1994, ICSE Workshop on SE-HCI.

[11]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[12]  Joëlle Coutaz,et al.  The MSM Framework: A Design Space for Multi-Sensori-Motor Systems , 1993, EWHCI.

[13]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[14]  José Luiz Fiadeiro,et al.  Sharing Actions and Attributes in Modal Action Logic , 1991, TACS.

[15]  Michael D. Harrison,et al.  A Theory of Presentations , 1994, FME.

[16]  Stuart Kent,et al.  Formally specifying temporal constraints and error recovery , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[17]  Jonathan P. Bowen,et al.  Seven More Myths of Formal Methods , 1994, FME.

[18]  Mark Ryan,et al.  Defaults in specifications , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[19]  Michael D. Harrison,et al.  Abstract Interaction Objects , 1993, Comput. Graph. Forum.

[20]  Richard M. Young,et al.  Options and Criteria: Elements of design space analysis , 1991 .