Abstract is missing.
- Retrospective and Challenges for Model-Based Interface DevelopmentPedro A. Szekely. 1-27
- Human Factors in AeronauticsVéronique De Keyser, Denis Javaux. 28-45
- Abstract Interpretation and Application to Interactive System VerificationBaudouin Le Charlier. 46-72
- Device ModelsGiorgio P. Faconti, David J. Duke. 73-91
- A Formal Description of Low Level Interaction and its Application to Multimodal Interactive SystemsJohnny Accot, Stéphane Chatty, Philippe A. Palanque. 92-104
- Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its BehaviourBruno d Ausbourg, Guy Durrieu, Pierre Roché. 105-122
- Prototyping Device Interfaces with DSN/2Gerd Szwillus, Klaus Kespohl. 123-140
- Toward More Understandable User Interface SpecificationsDavid A. Carr. 141-161
- Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICOPhilippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte. 162-187
- The Evaluation of User Interface NotationsChris Johnson. 188-206
- The Evaluation of User Interface NotationsChris Johnson, Philip D. Gray. 207-228
- Risk Analysis, Impact and Interaction ModellingAndrew M. Dearden, Michael D. Harrison. 229-247
- Design Assistance for User-Adapted InteractionDemosthenes Akoumianakis, Anthony Savidis, Constantine Stephanidis. 248-271
- GRALPLA: an Algebraic Specification Language for Interactive Graphic SystemsJuan Carlos Torres, Miguel Gea, Francisco Luis Gutiérrez Vela, Miguel Cabrera, M. Rodriguez. 272-291
- Fusion Engines and Melting PotsJ. K. Hyde, David J. Duke. 292-311
- Monolingual, Articulated Modeling of Users, Devices, and InterfacesTom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque. 312-329
- Evaluating the Interfaces of Three Theorem Proving AssistantsNicholas A. Merriam, Michael D. Harrison. 330-346
- Validating Properties of Component-based Graphical User InterfacesPeter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena. 347-365
- Specifying and Reasoning About CSCWSteve Reeves. 366-391