Design, specification and verification of interactive systems '96 : proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996 : Eurographics

Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer’s work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them. Front Matter....Pages I-XI Retrospective and Challenges for Model-Based Interface Development....Pages 1-27 Human Factors in Aeronautics....Pages 28-45 Abstract Interpretation and Application to Interactive System Verification....Pages 46-72 Device Models....Pages 73-91 A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems....Pages 92-104 Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour....Pages 105-122 Prototyping Device Interfaces with DSN/2....Pages 123-140 Toward more understandable user interface specifications....Pages 141-161 Towards an integrated proposal for Interactive Systems design based on TLIM and ICO....Pages 162-187 The Evaluation Of User Interface Notations....Pages 188-206 Supporting Error-Driven Design....Pages 207-228 Risk Analysis, Impact and Interaction Modelling....Pages 229-247 Design assistance for user-adapted interaction....Pages 248-271 GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems....Pages 272-291 Fusion Engines and Melting Pots....Pages 292-311 Monolingual, Articulated Modeling of Users, Devices, and Interfaces....Pages 312-329 Evaluating the Interfaces of Three Theorem Proving Assistants....Pages 330-346 Validating Properties of Component-based Graphical User Interfaces....Pages 347-365 Specifying and Reasoning About CSCW....Pages 366-383