No Cover Image

Edited book 627 views

The Handbook of Formal Methods in Human-Computer Interaction

Benjamin Weyers, Judy Bowen, Alan Dix Orcid Logo, Philippe Palanque

Swansea University Author: Alan Dix Orcid Logo

Full text not available from this repository: check for access using links below.

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

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