Formal Methods for Interactive Systems
ALAN
JOHN DIX
Academic Press 1991
ISBN 0-12-218315-0
Full text ONLINE (PDF, 1.5Mb)
see also The Handbook of Formal Methods in Human-Computer Interaction (2017), which I co-edited, . my chapter on Formal Methods in The Encyclopedia of Human-Computer Interaction, and my research pages on formal
methods in HCI, which includes an annotated bibliography
Contents
- Introduction (PDF, 271K)
- PIEs - the simplest black-box model (PDF, 331K)
see also the original
PIE paper
- Red-PIEs - result and display (PDF, 258K)
- Sharing and interference in window managers (PDF, 301K)
- The myth of the infinitely fast machine (PDF, 274K)
see also my HCI'87
paper of the same name and my time
page
- Non-determinism as a paradigm for understanding the user interface (PDF, 250K)
see also the chapter
of the same name that appeared in Harrison and Thmbleby's 1990 collection
- Opening up the box (PDF, 267K)
- Dynamic pointers: an abstraction for indicative manipulation (PDF, 343K)
see also my dynamic
pointers page
- Complementary functions and complementary views (PDF, 295K)
- Events and status - mice and multiple users(PDF, 302K)
see also my status-event
analysis page
- Applying formal methods(PDF, 345K)
- Conclusions - mathematics and the art of abstraction (PDF, 293K)
- Appendices (PDF, 271K)
- References (PDF, 173K)