tutorials: Dix: Formal Methods in HCI

formal methods in HCI

tutorials by Alan Dix

tutorial at AVI 2004: harnessing the power of formalism for understanding interaction

see my research topics page on formal methods in HCI

read my book on formal methods for interactive systems

find out about my tutorials in statistics and other topics

archive: read the outline and notes of my HCI96 tutorial

interfaces are hard to understand

interfaces are hard to design

interfaces are hard to build

can formal methods help?

http://www.hiraeth.com/alan/tutorials/formal/