Jump to ContentJump to Main Navigation

You are looking at 1-6 of 6 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


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


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


Conclusion: The Theme Revisited

Jan Sprenger and Stephan Hartmann

in Bayesian Philosophy of Science

Published in print:
2019
Published Online:
October 2019
ISBN:
9780199672110
eISBN:
9780191881671
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780199672110.003.0013
Subject:
Philosophy, Philosophy of Science

In this final chapter, we look back on the results of the book and the methods we used. In particular, we enter a discussion whether Bayesian philosophy of science can and should be labeled a proper ... 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: