Skip to main content
SpringerLink
Log in

A theory of presentations

  • Papers
  • Conference paper
  • First Online:
FME '94: Industrial Benefit of Formal Methods (FME 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 873))

Included in the following conference series:

Abstract

As graphics and multi-media systems find increasing use in domains in which safety or security is a factor, it is important to find ways of ensuring that the systems are correct. Not only must the software function correctly, but it must also provide its human users with the information that they need to carry out tasks beyond the control of the software. While development of functionally correct software has been a focus of work within the formal methods community, less attention has been paid to rigorous development of the user-system interface. This paper considers the specification of graphical and multi-modal presentations, and develops a theory of presentations that extends the scope of rigorous software development to encompass human factors in the interface.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Abadi and L. Lamport. An old-fashioned recipe for real time. Technical Report 91, DEC Systems Research Center, October 1992.

    Google Scholar 

  2. G. Abowd. Formal aspects of human-computer interaction. D.Phil Thesis, Oxford University Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.

    Google Scholar 

  3. D. B. Arnold, D. A. Duce, and G. J. Reynolds. An Approach to the Formal Specification of Configurable Models of Graphics Systems. In G. Maréchal, editor, Proceedings of Eurographics '87. North-Holland, 1987.

    Google Scholar 

  4. P.J. Barnard and J. May. Cognitive modelling for user requirements. In P.F. Byerley, P.J. Barnard, and J. May, editors, Computers, Communication and Usability: Design Issues, Research and Methods for Integrated Services, North Holland Series in Telecommunication. Elsevier, 1993.

    Google Scholar 

  5. P.J. Barnard and J. May. Real time blending of data streams: A key problem for the cognitive modelling of user behaviour with multimodal systems. Technical Report UM/WP10, ESPRIT BRA 7040 Amodeus-2, June 1993. File: usemod/um_wp10.rtf.

    Google Scholar 

  6. J. Bowen. X: Why Z? Computer Graphics Forum, 11 (4):221–234, October 1992.

    Google Scholar 

  7. S.A. Brewster, P.C. Wright, and A.D.N. Edwards. The design and evaluation of an auditory-enhanced scrollbar. In Proc. CHI'94, 1994. Boston, April 1994, to appear.

    Google Scholar 

  8. J. Coutaz, L. Nigay, and D. Salber. MATIS: A multimodal airline travel information system. Technical Report SM/WP10, ESPRIT BRA 7040 Amodeus-2, February 1993. File: sysmod/sm_wp10.rtf.

    Google Scholar 

  9. D. A. Duce and L. B. Damnjanovic. Formal Specification in the Revision of GKS: An Illustrative Example. Computer Graphics Forum, 11(1):17–30, 1992.

    Google Scholar 

  10. D. A. Duce and E. V. C. Fielding. Towards a Formal Specification of the GKS Output Primitives. In A.A.G. Requicha, editor, Proceedings of Eurographics '86. North-Holland, 1986.

    Google Scholar 

  11. D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno'. Unifying views of interactors. In Proc International Workshop on Advanced Visual Interfaces, 1994. To appear.

    Google Scholar 

  12. D.J. Duke and M.D. Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3), 1993. Conference Issue: Proc. Eurographics'93.

    Google Scholar 

  13. D.J. Duke and M.D. Harrison. Mapping user requirements to implementations. Submitted to Software Engineering Journal. Based on Amodeus-2 document sysmod/sm_wp16, 1993.

    Google Scholar 

  14. D.J. Duke and M.D. Harrison. Case studies in interactor specification. Technical report, Department of Computer Science, University of York, 1994.

    Google Scholar 

  15. D.J. Duke and M.D. Harrison. From formal models to formal methods. In Proc Intl. Workshop on Software Engineering and Human-Computer Interaction. ACM, 1994. To appear.

    Google Scholar 

  16. D.J. Duke and M.D. Harrison. On percepts and presentations. Technical Report SM/WP22, ESPRIT BRA 7040 Amodeus-2, February 1994. File: sysmod/sm_wp22.ps.

    Google Scholar 

  17. M.D. Harrison. A model for the option space of interactive systems. In Engineering for Human-Computer Interaction: Proc IFIP WG2.7 Conf. Elsevier, 1992.

    Google Scholar 

  18. M.D. Harrison and A. Dix. A state model of direct manipulation. In M.D. Harrison and H.W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 129–151. Cambridge University Press, 1990.

    Google Scholar 

  19. I.J. Hayes. Specification Case Studies. Series in Computer Science. Prentice Hall International, 1987.

    Google Scholar 

  20. Geneva ISO Central Secretariat. Information processing systems, computer graphics, computer graphics reference model. ISO/IEC DIS 11072, 1991.

    Google Scholar 

  21. C.B. Jones. Systematic Software Development Using VDM. Prentice Hall International, second edition, 1990.

    Google Scholar 

  22. C.B. Jones and R. Shaw, editors. Case Studies in Systematic Software Development. Prentice Hall, 1990.

    Google Scholar 

  23. B. Mahoney and I. Hayes. A case-study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, SE-18(9):817–826, 1992.

    Google Scholar 

  24. J. May. The part-whole problem in perception. ESPRIT BRA 7040 Amodeus-2: Animated Presentation, 1993. File: usemod/pres4.hqx.

    Google Scholar 

  25. K. Narayana and S. Dharap. Formal specification of a look manager. IEEE Transactions on Software Engineering, 16(9):1089–1103, September 1990.

    Google Scholar 

  26. L. Nigay and J. Coutaz. A design space for multimodal systems: Concurrent processing and data fusion. In S. Ashlund, K. Mullet, A. Henderson, E. Hollnagel, and T. White, editors, Proc. INTERCHI'93, pages 172–178. Addison-Wesley, 1993.

    Google Scholar 

  27. P.W. Pruyn and D.P. Greenberg. Exploring 3d computer graphics in cockpit avionics. Computer Graphics and Applications, pages 28–35, May 1993.

    Google Scholar 

  28. J. Reason. Human Error. Cambridge University Press, 1990.

    Google Scholar 

  29. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992.

    Google Scholar 

  30. B. Sufrin and J. He. Specification, refinement, and analysis of interactive processes. In M.D. Harrison and H.W. Thimbleby, editors, Formal Methods in Human Computer Interaction, pages 153–200. Cambridge University Press, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of York, YO1 5DD, Heslington, York, UK

    D. J. Duke & M. D. Harrison

Authors
  1. D. J. Duke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. D. Harrison
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Maurice Naftalin Tim Denvir Miquel Bertran

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Duke, D.J., Harrison, M.D. (1994). A theory of presentations. In: Naftalin, M., Denvir, T., Bertran, M. (eds) FME '94: Industrial Benefit of Formal Methods. FME 1994. Lecture Notes in Computer Science, vol 873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58555-9_100

Download citation

  • DOI: https://doi.org/10.1007/3-540-58555-9_100

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58555-8

  • Online ISBN: 978-3-540-49031-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation