Papers:
R. J. Butterworth & D. J. Cooke Using Temporal Logic in the Specification of Reactive and Interactive Systems http://dx.doi.org/10.14236/ewic/FAC1996.1
J. C. Campos & F. M. Martins Context Sensitive User Interfaces http://dx.doi.org/10.14236/ewic/FAC1996.2
A. Dix, T. Rodden & I. Sommerville A Modal Model of Versions http://dx.doi.org/10.14236/ewic/FAC1996.3
T. Ebina & S. Igi An Analysis of User Behaviour in an Interactive Auditory Field http://dx.doi.org/10.14236/ewic/FAC1996.4
M. Harrison, R. Fields & P. C. Wright The User Context and Formal Specification in Interactive System Design http://dx.doi.org/10.14236/ewic/FAC1996.5
A. Hussey & D. Carrington Using Object-Z to Compare the MVC and PAC Architectures http://dx.doi.org/10.14236/ewic/FAC1996.6
C. Karagiannidis, A. Koumpis, C. Stephanidis & A.C. Georgiou Modelling Interactions as Queues http://dx.doi.org/10.14236/ewic/FAC1996.7
P. A. Lindsay A Formal Basis for Modelling Process and Task Management Aspects of User Interface Design http://dx.doi.org/10.14236/ewic/FAC1996.8
P. Markopoulos, J. Rowson & P. Johnson On the Composition of Interactor Specifications http://dx.doi.org/10.14236/ewic/FAC1996.9
M. Mezzanotte & F. Paternó Verification of Properties of Human-Computer Dialogues with an Infinite Number of States http://dx.doi.org/10.14236/ewic/FAC1996.10
P. Palanque & R. Bastide A Design Life-Cycle for the Formal Design of User Interfaces http://dx.doi.org/10.14236/ewic/FAC1996.11
C. R. Roast & J. I. Siddiqi Formally Assessing Software Modifiability http://dx.doi.org/10.14236/ewic/FAC1996.12
E. Schlungbaum & T. Elwert Dialogue Graphs - A Formal and Visual Specification Technique for Dialogue Modelling http://dx.doi.org/10.14236/ewic/FAC1996.13
K. Stenning & C. Gurr Formal Methods and Human Communication http://dx.doi.org/10.14236/ewic/FAC1996.14