Advertisement

Cross-Contextual Reference in Human-Computer Interaction

  • Jon Rowson
  • Peter Johnson
  • Graham White
Conference paper
Part of the Eurographics book series (EUROGRAPH)

Abstract

One of the themes of this year’s workshop is the challenge of designing usable systems that make use of shared environments. Based on this, one of the scenarios selected for discussion by the working groups consists of “genuinely co-operative applications, involving concurrent interaction between multiple parties in some form of shared world”.

Keywords

Linear Logic Concurrent Interaction Formal System Model Theory Formal Semantic Macintosh Operating System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    H. Johnson, P. Johnson “Task knowledge structures: psychological basis and integration into systems design”, Acta Psychologica 78 (1991), pp. 3–26CrossRefGoogle Scholar
  2. [2]
    L. Linsky (ed.) Reference and Modality, Oxford Readings in Philosophy, Oxford University Press, 1971Google Scholar
  3. [3]
    J.C. Campos, M.D. Harrison “Formally verifying interactive systems: a review”. In M.D. Harrison, J.C. Torres (eds.) Design,Specification and Verification of Interactive Systems ‘87,Proc. of the 4th. International Eurographics Workshop, Granada, Spain, Springer (1997), pp. 109–124Google Scholar
  4. [4]
    H. Kamp “A theory of truth and semantic representation”, in J.A.G. Groenendijk, T.M. Janssen et al. (eds.) Formal Methods in the Study of Language Part 1,Amsterdam: Mathematisch Centrum, (1981) no. 135 in Mathematical Centre Tracts, pp. 277–322Google Scholar
  5. [5]
    J. van Eijck, H. Kamp “Representing discourse in context”. In J. van Benthem, A. ter Meulen (eds.) Handbook of Logic and Language, Elsevier, 1997, chapter 3Google Scholar
  6. [6]
    K. Terui “Anaphoric linking at run time: a type-logical account of discourse representation”, Tech. Rep. LP-1997–17, Institute for Logic, Language and Computation, Amsterdam, 1998Google Scholar
  7. [7]
    G. Bellin, P.J. Scott “On the 1t-calculus and linear logic”, Theoretical Computer Science 135 (1994), pp. 11–65MathSciNetMATHCrossRefGoogle Scholar
  8. [8]
    G. Doherty, M.D. Harrison “A representational approach to the specification of presentations”. In M.D. Harrison, J.C. Torres (eds.) Design,Specification and Verification of Interactive Systems ‘87,Proc. of the 4th. International Eurographics Workshop, Granada, Spain, Springer (1997), pp. 273–290Google Scholar
  9. [9]
    A.J. Dix “Moving between contexts”. In P. Palanque, R. Bastide (eds.) Design,Specification and Verification of Interactive Systems ‘85, Proc. of the 2nd. International Eurographics Workshop, Toulouse, France, Springer Wien (1995), pp. 149–173Google Scholar
  10. [10]
    D.J. Duke, P.J. Barnard, D.A. Duce, J. May “Systematic development of the human interface”. In APSEC’95: Second Asia Pacific Software Engineering Conference,IEEE Computer Society Press, 1995, pp.313–321CrossRefGoogle Scholar

Copyright information

© Springer-Verlag/Wien 1999

Authors and Affiliations

  • Jon Rowson
    • 1
  • Peter Johnson
    • 1
  • Graham White
    • 1
  1. 1.Department of Computer ScienceQueen Mary & Westfield College, University of LondonLondonUK

Personalised recommendations