DocumentCode
282435
Title
Principled formal methods in HCI research
Author
Reeves, S.V.
Author_Institution
Dept. of Comput. Sci., Queen Mary Coll., London Univ., UK
fYear
1989
fDate
32853
Firstpage
42401
Lastpage
42403
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;
fLanguage
English
Publisher
iet
Conference_Titel
Formal Methods in HCI: III, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
199161
Link To Document