• DocumentCode
    282440
  • Title

    Dynamic pointers: an abstraction for indicative manipulation

  • Author

    Dix, Alan

  • Author_Institution
    Dept. of Comput. Sci., York Univ., UK
  • fYear
    1989
  • fDate
    32853
  • Firstpage
    42552
  • Lastpage
    42554
  • Abstract
    A discussion is on a formal model of interactive systems: dynamic pointers. This model is useful, not only as a formal description tool, but also as a key to the informal understanding of certain issues and as an implementation technique. The focus of the article is on manipulation by which is meant `doing things to things´. This is a rather wide definition, which at its simplest can be thought of as editing but at its richest encompasses virtually all interaction. The author goes on to discuss: modes of manipulation, mediated interaction, relating levels by translating pointers, changing objects with dynamic pointers and dynamic pointers for system integration
  • Keywords
    data structures; formal logic; interactive systems; systems analysis; abstraction; dynamic pointers; editing; formal description tool; formal model; implementation technique; indicative manipulation; informal understanding; interaction; interactive systems; mediated interaction; system integration;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Formal Methods in HCI: III, IEE Colloquium on
  • Conference_Location
    London
  • Type

    conf

  • Filename
    199166