


Остановите войну!
for scientists:
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

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.