Models of interactive systems: a case study on programmable user modelling

  title={Models of interactive systems: a case study on programmable user modelling},
  author={Ann Blandford and Richard Butterworth and Paul Curzon},
  journal={Int. J. Hum.-Comput. Stud.},
Models of interactive systems can be used to answer focused questions about those systems. Making the appropriate choice of modelling technique depends on what questions are being asked. We present two styles of interactive system model and associated verification method. We show how they contrast in terms of tractability, inspectability of assumptions, level of abstraction and reusability of model fragments. These tradeoffs are discussed. We discuss how they can be used as part of an… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 21 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…