| 书目名称 | The Handbook of Formal Methods in Human-Computer Interaction |
| 编辑 | Benjamin Weyers,Judy Bowen,Philippe Palanque |
| 视频video | |
| 概述 | Provides a detailed overview of past, current and future developments of formal methods in HCI.Includes case studies that illustrate various perspectives on, and the use of, formal methods in HCI.Maxi |
| 丛书名称 | Human–Computer Interaction Series |
| 图书封面 |  |
| 描述 | 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. .World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field...The Handbook of Formal Methods in Human-Computer Interaction. is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.. |
| 出版日期 | Book 2017 |
| 关键词 | HCI; Interactive systems; formal description techniques; verification of properties; task modeling |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-51838-1 |
| isbn_softcover | 978-3-319-84754-2 |
| isbn_ebook | 978-3-319-51838-1Series ISSN 1571-5035 Series E-ISSN 2524-4477 |
| issn_series | 1571-5035 |
| copyright | Springer International Publishing AG 2017 |
发表于 2025-3-21 19:53:47
