formal methods in HCI
tutorials by Alan Dix

see my research topics page on formal methods in HCI
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/Alan Dix