The Handbook of Formal Methods in Human-Computer Interaction

The Handbook of Formal Methods in Human-Computer Interaction
Author :
Publisher : Springer
Total Pages : 577
Release :
ISBN-10 : 9783319518381
ISBN-13 : 3319518380
Rating : 4/5 (81 Downloads)

Book Synopsis The Handbook of Formal Methods in Human-Computer Interaction by : Benjamin Weyers

Download or read book The Handbook of Formal Methods in Human-Computer Interaction written by Benjamin Weyers and published by Springer. This book was released on 2017-04-24 with total page 577 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


The Handbook of Formal Methods in Human-Computer Interaction Related Books

The Handbook of Formal Methods in Human-Computer Interaction
Language: en
Pages: 577
Authors: Benjamin Weyers
Categories: Computers
Type: BOOK - Published: 2017-04-24 - Publisher: Springer

DOWNLOAD EBOOK

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of wh
Research Methods in Human-Computer Interaction
Language: en
Pages: 562
Authors: Jonathan Lazar
Categories: Computers
Type: BOOK - Published: 2017-04-28 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

Research Methods in Human-Computer Interaction is a comprehensive guide to performing research and is essential reading for both quantitative and qualitative me
Formal Methods in Human-Computer Interaction
Language: en
Pages: 414
Authors: Philippe Palanque
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: Springer

DOWNLOAD EBOOK

This volume examines the proposition that formal methods are one of the conceptual tools that can support the design of Interactive Systems, understanding of th
Formal Methods in Human-Computer Interaction
Language: en
Pages: 352
Authors: Michael Harrison
Categories: Computers
Type: BOOK - Published: 1990-02-22 - Publisher: CUP Archive

DOWNLOAD EBOOK

Discusses the application of formal methods - the attempt to provide methods that rigorously and unambiguously describe the behavior of a computer program or sy
Formal Methods in Human-Computer Interaction
Language: en
Pages: 382
Authors: Philippe Palanque
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whethe