Edited book 1067 views
The Handbook of Formal Methods in Human-Computer Interaction
Benjamin Weyers,
Judy Bowen,
Alan Dix,
Philippe Palanque
Swansea University Author: Alan Dix
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-319-51838-1
Abstract
The Handbook of Formal Methods in Human-Computer Interaction
| ISBN: | 978-3-319-51837-4; 978-3-319-84754-2 978-3-319-51838-1 |
|---|---|
| ISSN: | 1571-5035 |
| Published: |
Cham. Switzerland
Springer
2017
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa50419 |
| Item Description: |
100 words: This is an edited volume that captures the state of art in the area. As well as individual authored chapters, the editors wrote four initial chapters which analysing the past and current state, to create a roadmap of future research challenges. Chapter 3, Trends and Gaps, is perhaps most significant in this respect. |
|---|---|
| Keywords: |
Computer literacy, computer science, software engineering, user interfaces and human computer interaction, mathematical logic and formal languages, computers, data processing, computers hardware general , information technology, user interface design and usability, computer systems, logic, symbolic and mathematical. |
| College: |
Faculty of Science and Engineering |