Topics of formal methods in HCI

Judy Bowen; Alan Dix; Philippe Palanque; Benjamin  Weyers

doi:10.1007/978-3-319-51838-1_2

Topics of formal methods in HCI

Judy Bowen, Alan Dix, Philippe Palanque, Benjamin Weyers

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

In this chapter we present an overview of some of the general themes
and topics that can be seen in research into formal methods in human computer
interaction. We discuss how the contents of the rest of the book relate to these topics. In particular we show how themes have evolved into particular branches of research and where the book contents fit with this. We also discuss the areas of research that are relevant, but are not represented within the book chapters.

Original language	English
Title of host publication	The Handbook of Formal Methods in Human-Computer Interaction
Editors	Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
Publisher	Springer
Pages	57-64
Edition	1
ISBN (Electronic)	9783319518381
ISBN (Print)	9783319518374
DOIs	https://doi.org/10.1007/978-3-319-51838-1_2
Publication status	Published - 26 Apr 2017

Publication series

Name	Human–Computer Interaction Series
Publisher	Springer
ISSN (Print)	1571-5035

Access to Document

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

Cite this

@inbook{45f9c30353924c1a9c623a26b0b2afd9,

title = "Topics of formal methods in HCI",

abstract = "In this chapter we present an overview of some of the general themesand topics that can be seen in research into formal methods in human computerinteraction. We discuss how the contents of the rest of the book relate to these topics. In particular we show how themes have evolved into particular branches of research and where the book contents fit with this. We also discuss the areas of research that are relevant, but are not represented within the book chapters.",

author = "Judy Bowen and Alan Dix and Philippe Palanque and Benjamin Weyers",

year = "2017",

month = apr,

day = "26",

doi = "10.1007/978-3-319-51838-1_2",

language = "English",

isbn = "9783319518374",

series = "Human–Computer Interaction Series",

publisher = "Springer",

pages = "57--64",

editor = "Benjamin Weyers and Judy Bowen and Alan Dix and {Palanque }, {Philippe }",

booktitle = "The Handbook of Formal Methods in Human-Computer Interaction",

edition = "1",

}

TY - CHAP

T1 - Topics of formal methods in HCI

AU - Bowen, Judy

AU - Dix, Alan

AU - Palanque, Philippe

AU - Weyers, Benjamin

PY - 2017/4/26

Y1 - 2017/4/26

N2 - In this chapter we present an overview of some of the general themesand topics that can be seen in research into formal methods in human computerinteraction. We discuss how the contents of the rest of the book relate to these topics. In particular we show how themes have evolved into particular branches of research and where the book contents fit with this. We also discuss the areas of research that are relevant, but are not represented within the book chapters.

AB - In this chapter we present an overview of some of the general themesand topics that can be seen in research into formal methods in human computerinteraction. We discuss how the contents of the rest of the book relate to these topics. In particular we show how themes have evolved into particular branches of research and where the book contents fit with this. We also discuss the areas of research that are relevant, but are not represented within the book chapters.

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

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

M3 - Chapter

SN - 9783319518374

T3 - Human–Computer Interaction Series

SP - 57

EP - 64

BT - The Handbook of Formal Methods in Human-Computer Interaction

A2 - Weyers, Benjamin

A2 - Bowen, Judy

A2 - Dix, Alan

A2 - Palanque , Philippe

PB - Springer

ER -

Topics of formal methods in HCI

Abstract

Publication series

Access to Document

Fingerprint

Cite this