Electronic Notes in Theoretical Computer Science, Volume 183

Volume 183, July 2007

• 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