Jump to ContentJump to Main Navigation
Computational Interaction$
Users without a subscription are not able to see the full content.

Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, and Andrew Howes

Print publication date: 2018

Print ISBN-13: 9780198799603

Published to Oxford Scholarship Online: March 2018

DOI: 10.1093/oso/9780198799603.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (www.oxfordscholarship.com). (c) Copyright Oxford University Press, 2019. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in OSO for personal use. date: 20 October 2019

Practical Formal Methods in Human–Computer Interaction

Practical Formal Methods in Human–Computer Interaction

Chapter:
(p.187) 7 Practical Formal Methods in Human–Computer Interaction
Source:
Computational Interaction
Author(s):

Alan Dix

Publisher:
Oxford University Press
DOI:10.1093/oso/9780198799603.003.0008

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 on mathematical notions of sets, logic, and functions or precise diagrammatic notations, most of which are currently primarily focused on safety-critical applications in the aerospace or nuclear industries. While research into broader use of these methods could be regarded as a theoretical interest, the early development of formal methods was driven as much by practical considerations as theory. This chapter features two case studies on formal notations and their use in areas of practical interaction design beyond safety-critical applications, as well as understood, used, and appropriated by clients and designers who have no formal training or expertise. Each offers specific notations and techniques to the reader and also explores more general lessons for creating practical formal methods for HCI.

Keywords:   formal methods, physigrams, information system design, physicality, physical computing, state-transition network, flowchart, dialogue modelling, product design, human–computer interaction

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .