The Handbook of Formal Methods in Human-Computer Interaction

Edited book 1064 views

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

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
Tags:	Add Tag No Tags, Be the first to tag this record!

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