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 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
Copyright © Mon Mar 15 04:00:59 2010
by Michael Ley (ley@uni-trier.de)
