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
Electronic Edition (link) BibTeX
- Antonio Cerone, Norzima Elbegbayan:
Model-checking Driven Design of Interactive Systems.
3-20
Electronic Edition (link) BibTeX
- Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Detecting Cognitive Causes of Confidentiality Leaks.
21-38
Electronic Edition (link) BibTeX
- Dominique Cansell, J. Paul Gibson, Dominique Méry:
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface.
39-55
Electronic Edition (link) BibTeX
- Judy Bowen, Steve Reeves:
Formal Models for Informal GUI Designs.
57-72
Electronic Edition (link) BibTeX
- Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Towards a Common Semantic Foundation for Use Cases and Task Models.
73-88
Electronic Edition (link) BibTeX
- Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
Towards a Coordination Model for Interactive Systems.
89-103
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:25 2009
by Michael Ley (ley@uni-trier.de)