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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319518374, 9783319518381

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Learning Safe Interactions and Full-Control

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

10.1007/978-3-319-51838-1_11 ◽

2017 ◽

pp. 297-317

Author(s):

Guillaume Maudoux ◽

Charles Pecheur ◽

Sébastien Combéfis

Keyword(s):

Full Control

Download Full-text

Formal Modelling of App-Ensembles

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

10.1007/978-3-319-51838-1_19 ◽

2017 ◽

pp. 529-547

Author(s):

Johannes Pfeffer ◽

Leon Urbas

Keyword(s):

Formal Modelling

Download Full-text

Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models

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

10.1007/978-3-319-51838-1_10 ◽

2017 ◽

pp. 273-294

Author(s):

Benjamin Weyers

Keyword(s):

User Interface ◽

Interactive Systems ◽

Formal Description ◽

Interface Models

Download Full-text

Topics of Formal Methods in HCI

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

10.1007/978-3-319-51838-1_2 ◽

2017 ◽

pp. 57-64

Author(s):

Judy Bowen ◽

Alan Dix ◽

Philippe Palanque ◽

Benjamin Weyers

Keyword(s):

Formal Methods

Download Full-text

Erratum to: The Handbook of Formal Methods in Human-Computer Interaction

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

10.1007/978-3-319-51838-1_21 ◽

2017 ◽

pp. E1-E3

Author(s):

Benjamin Weyers ◽

Judy Bowen ◽

Alan Dix ◽

Philippe Palanque

Keyword(s):

Human Computer Interaction ◽

Formal Methods ◽

Computer Interaction

Download Full-text

Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems

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

10.1007/978-3-319-51838-1_13 ◽

2017 ◽

pp. 343-377 ◽

Cited By ~ 3

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Complex Systems ◽

Human Behavior ◽

Operator Function ◽

Function Model ◽

Analytic Modeling ◽

Modeling Formalism

Download Full-text

Dealing with Faults During Operations: Beyond Classical Use of Formal Methods

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

10.1007/978-3-319-51838-1_20 ◽

2017 ◽

pp. 549-575 ◽

Cited By ~ 1

Author(s):

Camille Fayollas ◽

Philippe Palanque ◽

Jean-Charles Fabre ◽

Célia Martinie ◽

Yannick Déléris

Keyword(s):

Formal Methods

Download Full-text

A Public Tool Suite for Modelling Interactive Applications

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

10.1007/978-3-319-51838-1_18 ◽

2017 ◽

pp. 505-528 ◽

Cited By ~ 1

Author(s):

Marco Manca ◽

Fabio Paternò ◽

Carmen Santoro

Keyword(s):

Interactive Applications

Download Full-text

Reasoning About Interactive Systems in Dynamic Situations of Use

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

10.1007/978-3-319-51838-1_12 ◽

2017 ◽

pp. 319-341

Author(s):

Judy Bowen ◽

Annika Hinze

Keyword(s):

Interactive Systems

Download Full-text

Physigrams: Modelling Physical Device Characteristics Interaction

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

10.1007/978-3-319-51838-1_9 ◽

2017 ◽

pp. 247-271

Author(s):

Alan Dix ◽

Masitah Ghazali

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Learning Safe Interactions and Full-Control

Formal Modelling of App-Ensembles

Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models

Topics of Formal Methods in HCI

Erratum to: The Handbook of Formal Methods in Human-Computer Interaction

Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems

Dealing with Faults During Operations: Beyond Classical Use of Formal Methods

A Public Tool Suite for Modelling Interactive Applications

Reasoning About Interactive Systems in Dynamic Situations of Use

Physigrams: Modelling Physical Device Characteristics Interaction

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