Systematic development of the human interface

Duke, David; Barnard, Philip; May, Jon; Duce, David A.

doi:10.1109/apsec.1995.496980

Cited by 22 publications

(13 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Here ''wordsearch'' stands for : vis-obj : ( : obj-mpl : ( :mpl-prop : : prop-mpl :) 0 : prop-obj : ) 0 : obj-lim:, a chain of transformations involving two reciprocal loops (indicated by the R subscript) (Duke et al, 1995). More importantly, the syndetic model can now be used to reason about interaction with MATIS.…”

Section: Raising the Power By Developing A Common Theoretical Basismentioning

confidence: 98%

“…As the underlying cognitive and system theories are built into the model, the causes of certain problems can be identified and addressed. The example below, taken from the syndetic analysis of MATIS (Duke et al, 1995), illustrates key points of the approach. This example, the use of deictic reference, brings together system considerations such as how and when deictic reference is accepted and resolved, and user issues such as what resources are needed to interact with the system via particular modalities, and how those resources are constrained.…”

Section: Raising the Power By Developing A Common Theoretical Basismentioning

confidence: 99%

“…Syndetic models (Duke, 1995;Duke, Barnard, Duce & May, 1995) are specifications that span the state and behaviour of both user and system agents. A syndetic model supports reasoning about the relationship between system features and the cognitive structures and abilities needed to perceive and effect change in the system.…”

Section: Raising the Power By Developing A Common Theoretical Basismentioning

confidence: 99%

See 2 more Smart Citations

Integrating user and computer system concerns in the design of interactive systems

Blandford

Duke

1997

International Journal of Human-Computer Studies

View full text Add to dashboard Cite

Section: Raising the Power By Developing A Common Theoretical Basismentioning

confidence: 98%

Section: Raising the Power By Developing A Common Theoretical Basismentioning

confidence: 99%

Section: Raising the Power By Developing A Common Theoretical Basismentioning

confidence: 99%

See 1 more Smart Citation

Integrating user and computer system concerns in the design of interactive systems

Blandford

Duke

1997

International Journal of Human-Computer Studies

View full text Add to dashboard Cite

“…York Interactors enable the homogeneous specification of both the user interface and the underlying system, and some work has been done to include models of the user in the specification [13,11].…”

Section: Interaction Eventsmentioning

confidence: 99%

Formally Verifying Interactive Systems: A Review

Campos

Harrison

1997

Eurographics

View full text Add to dashboard Cite

Abstract. Although some progress has been made in the development of principles to guide the designers of interactive systems, ultimately the only proven method of checking how usable a particular system is must be based on experiment. However, it is also the case that changes that occur at this late stage are very expensive. The need for early design checking increases as software becomes more complex and is designed to serve volume international markets and also as interactions between operators and automation in safety-critical environments becomes more complex. This paper reviews progress in the area of formal verification of interactive systems and proposes a short agenda for further work.

show abstract

“…Specifying one interactor Several different formalisms have been used to specify interactors, including Z [9], modal action logic (MAL) [10], and VDM [14].…”

Section: An Interactors To Smv Compilermentioning

confidence: 99%

The role of verification in interactive systems design

Campos

Harrison

1998

Eurographics

View full text Add to dashboard Cite

Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required properties; and that changing the focus from a global specification into partial, property oriented, specifications can provide a number of advantages and make verification act as an aid to decision making. We also present a compiler that allows for the verification of interactor specifications to be done in SMV, as well as a simple case study where verification is used to inform a design decision.

show abstract

Systematic development of the human interface

Cited by 22 publications

References 16 publications

Integrating user and computer system concerns in the design of interactive systems

Integrating user and computer system concerns in the design of interactive systems

Formally Verifying Interactive Systems: A Review

The role of verification in interactive systems design

Contact Info

Product

Resources

About