Jump to ContentJump to Main Navigation

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

  • Keywords: transition 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


View: