Jump to ContentJump to Main Navigation

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

  • Keywords: formal methods x
  • Mathematics 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


Formal Methods: Different Approaches for Verification

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0002
Subject:
Mathematics, Applied Mathematics

This chapter gives a brief overview of some formal methods and their use in the context of critical embedded systems development. While testing is a common practice for a lot of engineers as a way to ... More


View: