Executable specifications for a human-computer interface

  title={Executable specifications for a human-computer interface},
  author={Robert Jacob},
  booktitle={CHI '83},
It is useful to be able to specify a proposed human-computer interface formally before building it, particularly if a mockup suitable for testing can be obtained directly from the specification. A specification technique for user interfaces, based on state transition diagrams, is introduced and then demonstrated for a secure message system application. An interpreter that executes the resulting specification is then described. Some problems that arise in specifying a user interface are… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS