Volume 208, April 2008

Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007)

• 
  Antonio Cerone, Paul Curzon: Preface. 1-3
• 
  Judy Bowen, Steve Reeves: Refinement for User Interface Designs. 5-22
• 
  Alan J. Dix, Masitah Ghazali, Devina Ramduny-Ellis: Modelling Devices for Natural Interaction. 23-40
• 
  Michael D. Harrison, Christian Kray, José Creissac Campos: Exploring an Option Space to Engineer a Ubiquitous Computing System. 41-55
• 
  Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Formal Modelling of Salience and Cognitive Load. 57-75
• 
  José Luís Silva, José Creissac Campos, Ana C. R. Paiva: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. 77-93
• 
  Li Su, Howard Bowman, Philip J. Barnard: Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. 95-111
• 
  Michael Westergaard: A Game-theoretic Approach to Behavioural Visualisation. 113-129