Course on

Formal Methods for Interactive Systems


Course Abstract


The course will start by introducing the fundations of Human-Computer Interaction (HCI) within a multidisciplinary approach drawing particularly on the contributions of psychology, cognitive science and sociology.

Then it will present the integration of HCI into design practice by defining informal principles and formal models to characterise the mental model of the user and the usability of the interactive system.

It will finally show techniques for the analysis of interactive systems by focusing on safety and security properties and on their relationship with usability. These techniques will be applied to several case studies from different application domains such as a handheld calculator, a groupware system and an air traffic control system.


Created: Fri Feb 23 12:46:52 CET 2007 Feedback
Updated: Wed Apr 4 15:22:01 CET 2007