Principled formal methods in HCI research
Steve Reeves · Formal Methods · 1989
A suggestion is presented that formal methods, (for which a working definition is given) have a place in HCI and, more, are a necessity if HCI is to progress and learn from mistakes made in the past in software engineering and artificial intelligence. The author looks at two illustrations which support the case for using formal methods in HCI. The first illustration uses the experience of the AI community to relate a warning. The second illustration puts forward, at a very abstract level, some ways that formalization might be used to advantage and it uses an analogy with developments in software engineering.