Slide 1BIWST 20091 Formal Approaches to Modelling HCI David Duce Oxford Brookes University [email protected] Slide 2 BIWST 20092 Contents Syndetic modelling (Duke, Barnard,…