Title :
On formal methods in HCI
Author :
Thimbleby, Harold
Author_Institution :
Dept. of Comput. Sci., Stirling Univ., UK
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;
Conference_Titel :
Formal Methods in HCI: III, IEE Colloquium on
Conference_Location :
London
