Jump to ContentJump to Main Navigation

You are looking at 1-4 of 4 items for:

  • Keywords: human-computer interaction x
  • Logic / Computer Science / Mathematical Philosophy x
Clear All Modify Search

View:

Practical Formal Methods in Human–Computer Interaction

Alan Dix

in Computational Interaction

Published in print:
2018
Published Online:
March 2018
ISBN:
9780198799603
eISBN:
9780191839832
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198799603.003.0008
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter explores how precise formal methods can be used effectively and practically in interaction design. The term ‘formal methods’ in computer science refers to a suite of techniques drawing ... More


Computational Interaction

Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, and Andrew Howes (eds)

Published in print:
2018
Published Online:
March 2018
ISBN:
9780198799603
eISBN:
9780191839832
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198799603.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book presents computational interaction as an approach to explaining and enhancing the interaction between humans and information technology. Computational interaction applies abstraction, ... More


Games User Research

Anders Drachen, Pejman Mirza-Babaei, and Lennart Nacke (eds)

Published in print:
2018
Published Online:
March 2018
ISBN:
9780198794844
eISBN:
9780191836336
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198794844.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy, Computational Mathematics / Optimization

Today, Games User Research forms an integral component of the development of any kind of interactive entertainment. User research stands as the primary source of business intelligence in the ... More


An Overview of GUR Methods

Michael C. Medlock

in Games User Research

Published in print:
2018
Published Online:
March 2018
ISBN:
9780198794844
eISBN:
9780191836336
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198794844.003.0007
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy, Computational Mathematics / Optimization

This chapter provides bite-sized summaries of the most common methods of the Games User Research field. It then focuses on the questions to be considered when constructing and combining GUR methods. ... More


View: