Formal Grammar and Human Factors Design of an Interactive Graphics System

Reisner, Phyllis

doi:10.1109/tse.1981.234520

Cited by 232 publications

(58 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…During the same period, Mackinlay (1986) described a "composition algebra" to support the formalization of graphical user interface designs enabling a coherent flow from specification to implementation. Reisner (1981Reisner ( , 1982 articulated the goal of designing better user interfaces by adapting formal methods from mainstream computer science. She discussed key technical challenges that are still relevant today: How can formal models be integrated with models of attention, perception, cognition, and memory?…”

Section: Related Workmentioning

confidence: 99%

“…On the other hand, some of the early issues raised by Reisner (1981Reisner ( , 1982 still remain with respect to hybrid systems, psychological factors, user expectation and population stereotypes, scaling up to realistic systems (Berstel, Reghizzi, Roussel & San Pietro, 2005), and making formal methods accessible to and usable by non-specialists (Chakrabarti & Sukumaran, 2009;Gow, Thimbleby, & Cairns, 2006).…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Modeling and Formal Analysis of Human-Machine Interaction

Heymann

Degani²,

Shafto

2013

Oxford Handbooks Online

View full text Add to dashboard Cite

We describe a formal, model-based, approach for the analysis and design of human-automation interaction. The approach is guided by two primary objectives: first, that the interaction be correct in the sense that it will enable the user to operate the system reliably; second, that the interaction be as simple as possible while maintaining all the required operational flexibility. With these objectives we first discuss a methodology for verification of user-interface correctness, thereby addressing the issue of operational reliability, and then present an algorithmic approach for designing simple and succinct interfaces.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Modeling and Formal Analysis of Human-Machine Interaction

Heymann

Degani²,

Shafto

2013

Oxford Handbooks Online

View full text Add to dashboard Cite

show abstract

“…[Rei81,Suf82,DiR85,ThH90,PaP97]). Most is focused at the level of the dialogue starting at symbolic actions such as 'key A pressed' and on the behaviour of the digital system; although some work includes models of the physical systems being controlled by the digital device and even the user's mental states or behaviour so that conjoint properties can be investigated (e.g.…”

Section: Modelling Physical and Continuous Actionmentioning

confidence: 99%

Physigrams: modelling devices for natural interaction

Dix

Ghazali

Gill³

et al. 2009

Form. Asp. Comput.

View full text Add to dashboard Cite

Abstract. This paper explores the formal specification of the physical behaviour of devices 'unplugged' from their digital effects. By doing this we seek to better understand the nature of physical interaction and the way this can be exploited to improve the design of hybrid devices with both physical and digital features. We use modified state transition networks of the physical behaviour, which we call physiograms, and link these to parallel diagrams of the digital state. These are used to describe a number of features of physical interaction exposed by previous work and relevant properties expressed using a formal semantics of the diagrams. As well as being an analytic tool, the physigrams have been used in a case study where product designers used and adapted them as part of the design process.

show abstract

“…Separating the user interface in this way makes it possible to experiment with different user interfaces and to evaluate them from their specifications (as Reisner [13] This division also makes the specification of the user interface clearer.…”

Section: Association For Computing Machinerymentioning

confidence: 99%

Using formal specifications in the design of a human-computer interface

Jacob

1982

Proceedings of the 1982 Conference on Human Factors in Computing Systems - CHI '82

View full text Add to dashboard Cite

Formal Grammar and Human Factors Design of an Interactive Graphics System

Cited by 232 publications

References 8 publications

Modeling and Formal Analysis of Human-Machine Interaction

Modeling and Formal Analysis of Human-Machine Interaction

Physigrams: modelling devices for natural interaction

Using formal specifications in the design of a human-computer interface

Contact Info

Product

Resources

About