default search action
1st FMIS@ICFEM 2006: Macau
- Antonio Cerone, Paul Curzon:
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 183, Elsevier 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
Detecting Cognitive Causes of Confidentiality Leaks. 21-38 - Dominique Cansell, J. Paul Gibson
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
Towards a Coordination Model for Interactive Systems. 89-103
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.
last updated on 2024-10-07 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: