![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
2nd FMIS@BCS HCI 2007: Lancaster, UK
- Antonio Cerone, Paul Curzon:
Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, FMIS@BCS HCI 2007, Lancaster, UK, September 4, 2007. Electronic Notes in Theoretical Computer Science 208, Elsevier 2008 - 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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.