Title :
Principled formal methods in HCI research
Author_Institution :
Dept. of Comput. Sci., Queen Mary Coll., London Univ., UK
Abstract :
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
Keywords :
artificial intelligence; formal logic; interactive systems; software engineering; user interfaces; AI community; HCI research; abstract level; artificial intelligence; formal methods; formalization; software engineering; working definition;
Conference_Titel :
Formal Methods in HCI: III, IEE Colloquium on
Conference_Location :
London
