Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDElectronic 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
a service of 
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 2022-06-28 21:57 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 has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
