scholarly journals Erratum to: The Handbook of Formal Methods in Human-Computer Interaction

2017 ◽  
pp. E1-E3
Author(s):  
Benjamin Weyers ◽  
Judy Bowen ◽  
Alan Dix ◽  
Philippe Palanque
Keyword(s):  
Human Computer Interaction ◽  
Formal Methods ◽  
Computer Interaction

Practical Formal Methods in Human–Computer Interaction

2018 ◽  
Author(s):  
Alan Dix
Keyword(s):  
Human Computer Interaction ◽  
Computer Science ◽  
Formal Methods ◽  
Case Studies ◽  
Early Development ◽  
Interaction Design ◽  
Formal Training ◽  
Theoretical Interest ◽  
Safety Critical ◽  
Computer Interaction

This chapter explores how precise formal methods can be used effectively and practically in interaction design. The term ‘formal methods’ in computer science refers to a suite of techniques drawing on mathematical notions of sets, logic, and functions or precise diagrammatic notations, most of which are currently primarily focused on safety-critical applications in the aerospace or nuclear industries. While research into broader use of these methods could be regarded as a theoretical interest, the early development of formal methods was driven as much by practical considerations as theory. This chapter features two case studies on formal notations and their use in areas of practical interaction design beyond safety-critical applications, as well as understood, used, and appropriated by clients and designers who have no formal training or expertise. Each offers specific notations and techniques to the reader and also explores more general lessons for creating practical formal methods for HCI.

Review of Formal Methods in Human-Computer Interaction.

1991 ◽  
Vol 36 (12) ◽  
pp. 1112-1112
Author(s):  
No authorship indicated
Keyword(s):  
Human Computer Interaction ◽  
Formal Methods ◽  
Computer Interaction

Applications of Cognitive Science to Human-Computer Interaction

1990 ◽  
Vol 35 (12) ◽  
pp. 1132-1133
Author(s):  
Scott P. Robertson
Keyword(s):  
Human Computer Interaction ◽  
Cognitive Science ◽  
Computer Interaction
Sign in / Sign up

Export Citation Format

Share Document