Return to home page
Searching: Muskingum library catalog
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Title The handbook of formal methods in human-computer interaction / Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors.
Imprint Cham, Switzerland : Springer, 2017.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Series Human-computer interaction series
Human-computer interaction series.
Subject Formal methods (Computer science) -- Handbooks, manuals, etc.
Human-computer interaction -- Handbooks, manuals, etc.
Alt Name Weyers, Benjamin,
Bowen, Judy (Judith Alyson),
Dix, Alan,
Palanque, Philippe, 1966-
Description 1 online resource (xiv, 575 pages) : illustrations (some color).
Bibliography Note Includes bibliographical references.
Contents Preface; References; Contents; Contributors; Introduction; 1 State of the Art on Formal Methods for Interactive Systems; Abstract; 1.1 Introduction; 1.2 Modelling and Formal Modelling; 1.3 Verification and Validation; 1.4 Criteria to Describe and Analyse the State of the Art; 1.5 Modelling and Verification; 1.6 Succinct Presentation of the Approaches; 1.6.1 Abowd et al. (USA 1991-1995); 1.6.1.1 Modelling; 1.6.1.2 Verification; 1.6.2 Dix et al. (United Kingdom 1985-1995); 1.6.2.1 Modelling; 1.6.2.2 Verification; 1.6.3 Paterno et al. (Italy 1990-2003); 1.6.3.1 Modelling; 1.6.3.2 Verification.
1.6.4 Markopoulos et al. (United Kingdom 1995-1998)1.6.4.1 Modelling; 1.6.4.2 Verification; 1.6.5 Duke and Harrison et al. (United Kingdom 1993-1995); 1.6.5.1 Modelling; 1.6.5.2 Verification; 1.6.6 Campos et al. (Portugal 1997-2015); 1.6.6.1 Modelling; 1.6.6.2 Verification; 1.6.7 d'Ausbourg et al. (France 1996-2002); 1.6.7.1 Modelling; 1.6.7.2 Verification; 1.6.8 Bumbulis et al. (Canada 1995-1996); 1.6.8.1 Modelling; 1.6.8.2 Verification; 1.6.9 Oliveira et al. (France 2012-2015); 1.6.9.1 Modelling; 1.6.9.2 Verification; 1.6.10 Knight et al. (USA 1992-2010); 1.6.10.1 Modelling.
1.6.10.2 Verification1.6.11 Miller et al. (USA 1995-2013); 1.6.11.1 Modelling; 1.6.11.2 Verification; 1.6.12 Loer and Harrison et al. (Germany 2000-2006); 1.6.12.1 Modelling; 1.6.12.2 Verification; 1.6.13 Thimbleby et al. (United Kingdom 1987-2015); 1.6.13.1 Modelling; 1.6.13.2 Verification; 1.6.14 Palanque et al. (France 1990-2015); 1.6.14.1 Modelling; 1.6.14.2 Verification; 1.6.15 Ait-Ameur et al. (France 1998-2014); 1.6.15.1 Modelling; 1.6.15.2 Verification; 1.6.16 Bowen and Reeves (New Zealand 2005-2015); 1.6.16.1 Modelling; 1.6.16.2 Verification; 1.6.17 Weyers et al. (Germany 2009-2015).
1.6.17.1 Modelling1.6.17.2 Model Reconfiguration and Formal Rewriting; 1.6.18 Combefis et al. (Belgium 2009-2013); 1.6.18.1 Modelling; 1.6.18.2 Verification; 1.6.19 Synthesis; 1.6.20 Summary; References; 2 Topics of Formal Methods in HCI; 2.1 Introduction; 2.2 Describing the Human User of Interactive Systems; 2.3 Formal Methods for Specific Types of Interactive Systems; 2.4 Descriptions of the Modelling Process and Supporting Tools; 2.5 Summary; References; 3 Trends and Gaps; Abstract; 3.1 Introduction; 3.2 HCI Trends; 3.2.1 Changing User Interaction; 3.2.2 Changing Technology.
3.2.3 Changing Design and Development3.3 Formalising Interaction: What and How; 3.3.1 What-Actors and Entities; 3.3.2 What-Levels of Abstraction; 3.3.3 Who and When (and Why?); 3.3.4 How; 3.4 Summary; References; 4 Case Studies; Abstract; 4.1 Introduction; 4.2 Case Study 1-Control of a Nuclear Power Plant; 4.2.1 Formalization of the Simplified BWR Design; 4.2.2 Standard Operating Procedures; 4.2.3 Automation; 4.2.4 Connection with Formal Methods; 4.3 Case Study 2-Arrival Manager Within an Air Traffic Control Workstation; 4.3.1 Air Traffic Controller Tasks.
Summary 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 a 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.
Note Online resource; title from PDF title page (SpringerLink, viewed May 2, 2017).
ISBN 9783319518381 (electronic bk.)
3319518380 (electronic bk.)
9783319518374 (print)
3319518372
ISBN/ISSN 10.1007/978-3-319-51838-1
OCLC # 984151282
Additional Format Print version: Handbook of formal methods in human-computer interaction. Cham, Switzerland : Springer, 2017 3319518372 9783319518374 (OCoLC)965356120