Volume 183, July 2007

Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006)

• 
  Antonio Cerone, Paul Curzon: Preface. 1-2
• 
  Antonio Cerone, Norzima Elbegbayan: Model-checking Driven Design of Interactive Systems. 3-20
• 
  Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Detecting Cognitive Causes of Confidentiality Leaks. 21-38
• 
  Dominique Cansell, J. Paul Gibson, Dominique Méry: Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. 39-55
• 
  Judy Bowen, Steve Reeves: Formal Models for Informal GUI Designs. 57-72
• 
  Daniel Sinnig, Patrice Chalin, Ferhat Khendek: Towards a Common Semantic Foundation for Use Cases and Task Models. 73-88
• 
  Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos: Towards a Coordination Model for Interactive Systems. 89-103