Cantitate/Preț
Produs
Total produse
Vezi coșul
The Handbook of Formal Methods in Human-Computer Interaction de Benjamin Weyers

The Handbook of Formal Methods in Human-Computer Interaction: Human–Computer Interaction Series

Editat de Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
en Limba Engleză Hardback – 3 mai 2017
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 174823 lei  38-45 zile
  Springer International Publishing – 8 mai 2018 174823 lei  38-45 zile
Hardback (1) 176700 lei  38-45 zile
  Springer International Publishing – 3 mai 2017 176700 lei  38-45 zile

Din seria Human–Computer Interaction Series

Preț: 176700 lei

Preț vechi: 220876 lei
-20% Nou

Puncte Express: 2651
Preț estimativ în valută:
33819€ • 35170$ • 28299£

Carte tipărită la comandă

Livrare economică 10-17 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319518374
ISBN-10: 3319518372
Pagini: 574
Ilustrații: XVI, 575 p. 205 illus., 133 illus. in color.
Dimensiuni: 155 x 235 x 33 mm
Greutate: 1.09 kg
Ediția:1st ed. 2017
Editura: Springer International Publishing
Colecția Springer
Seria Human–Computer Interaction Series

Locul publicării:Cham, Switzerland

Cuprins

Foreword.- Part I: Introduction.- State of the Art in Formal Methods in HCI.- Topics of formal methods in HCI.- Trends and Gaps.- Case Studies.- Part II: Modeling, Execution and Simulation.- Visual and Formal Modeling of Modularized and Executable User Interface Models.- Combining Models for Interactive System Modelling.- Activity Modelling for Low-Intention Interaction.- Modelling the User Physigrams – Modeling Physical Device Characteristics Interaction.- Formal Description of Adaptive Interactive Systems based on Executable User Interface Models.- Part II:Analysis, Validation and Verification.- Learning Safe Interactions and Full-Control.- Reasoning About Interactive Systems in Dynamic Situations of Use Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human.- Behavior in the Verification of Complex Systems.- The Specification and Analysis of Use Properties of a Nuclear.- Control System.- Formal Analysis of MultipleCoordinated HMI Systems.- Part IV:  Future Opportunities and Developments.- Domain-Specific Modelling for Human-Computer Interaction.- Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment .- A Public Tool Suite for Modelling Interactive Applications.- Formal Modeling of App-Ensembles.- Dealing with Faults during Operations: Beyond Classical Use of Formal Methods.  

Recenzii

“Human-computer interaction (HCI), as a discipline, is overwhelmingly experimental. One quick look at the proceedings ... the leading conference in the domain, will make this clear: almost all papers report on carefully crafted, well-designed experiments. … I enjoyed reading the book … .” (Jacques Carette, Computing Reviews, January, 22 , 2018)
​

Notă biografică

Benjamin Weyers is a Senior Researcher at the Virtual Reality and Immersive Visualization Group at RWTH Aachen University, Germany. Benjamin is strongly involved in the FET-flagship project “The Human Brain Project” and co-leads the work package on interactive visualization. He studied Computer Science at the University of Duisburg-Essen and received his doctorate with the Computer Graphics and Scientific Computing Group at the University of Duisburg-Essen.  His research interests include human-computer interaction (HCI), formal modelling, information visualization and virtual reality (VR).
Judy Bowen is a Senior Lecturer at the University of Waikato in New Zealand. For the past ten years she has been working in the area of formal modelling for interactive systems, specifically safety-critical interactive systems. Her work includes projects that consider safety-properties of systems, contexts of use for non-context aware systems and the use of technologyin hazardous work-places and environments.
Alan Dix is a Professor in the Human–Computer Interaction Centre at the University of Birmingham and a Senior Researcher at Talis. He has worked in HCI for over thirty years and his research has included foundational work on formal methods in HCI, some of the earliest work on privacy in HCI and the ethics of machine learning, and more recently has included learning analytics, IT and data issues for marginal communities as well as walking one thousand miles around Wales.  He runs the twice-yearly Tiree Tech Wave. 
Philippe Palanque is a Professor of Computer Science at the University of Toulouse and leads the ICS Research Group. Since the late 80's, he has worked on the development and application of formal description techniques for interactive systems. The main aim of his research has been to address Usability, Safety and Dependability in order to build trustable safety-critical Interactive Systems.

Textul de pe ultima copertă

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.

Caracteristici

Provides a detailed overview of past, current and future developments of formal methods in HCI Includes case studies that illustrate various perspectives on, and the use of, formal methods in HCI Maximizes reader understanding of the application of formal methods in the development of interactive systems Includes supplementary material: sn.pub/extras