The Handbook of Formal Methods in Human-Computer Interaction
Human-Computer Interaction Series
Herausgegeben von Weyers, Benjamin
Bowen, Judy
Dix, Alan
- 出版社：Springer, Berlin
- 出版年月：2017年 00月
- ISBN：9783319518374
- 装丁：HRD
-
装丁について
- 言語：ENG
- 版次：1st ed. 2017. 2017. xvi
- 巻数・ページ数：600 p.
- 分類： ユーザーインターフェース
- 内容紹介：
-
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems.