Jump to ContentJump to Main Navigation

You are looking at 1-4 of 4 items

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


Natural Philosophy in Late Medieval Oxford

J. D. North

in The History of the University of Oxford: Volume II: Late Medieval Oxford

Published in print:
1992
Published Online:
October 2011
ISBN:
9780199510122
eISBN:
9780191700941
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199510122.003.0003
Subject:
History, British and Irish Medieval History

This chapter discusses the reason for the amplification of mathematical and other formal methods used in natural philosophy and astronomy. It explains that Oxford humanists' attacks which were so ... 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


Rational Choice Contractualism

Michael Moehler

in Minimal Morality: A Multilevel Social Contract Theory

Published in print:
2018
Published Online:
April 2018
ISBN:
9780198785927
eISBN:
9780191827655
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198785927.003.0003
Subject:
Philosophy, Moral Philosophy, Political Philosophy

This chapter discusses contractualist theories of justice that, although they rely explicitly on moral assumptions in the traditional understanding of morality, employ rational choice theory for the ... More


View: