DocumentCode
282433
Title
On formal methods in HCI
Author
Thimbleby, Harold
Author_Institution
Dept. of Comput. Sci., Stirling Univ., UK
fYear
1989
fDate
32853
Abstract
A discussion is given on the use of formal methods in human-computer interaction. The author looks at the benefits of formal methods in HCI and the application of mathematics. He also justifies formal methods from a user´s perspective and asks whether consistency is relevant
Keywords
formal logic; human factors; interactive systems; user interfaces; HCI; consistency; formal methods; human-computer interaction; mathematics;
fLanguage
English
Publisher
iet
Conference_Titel
Formal Methods in HCI: III, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
199159
Link To Document