Engineering for Human-Computer Interaction: Proceedings of the IFIP TC2/WG2.7 working conference on engineering for human-computer interaction, Yellowstone Park, USA, August 1995

Front Matter....Pages i-viii
Front Matter....Pages 1-1
Is there a wearable computer in your future?....Pages 3-16
A structured video browsing tool....Pages 17-27
Vision for man machine interaction....Pages 28-45
Front Matter....Pages 47-47
Exploring terra incognita in the design space of query devices....Pages 49-68
Escaping the event loop: an alternative control structure for multi-threaded GUIs....Pages 69-87
An interactive environment based on a task model....Pages 88-102
The integration of a layout constraint language with an object-oriented user interface management system....Pages 103-119
Declarative interface models for user interface construction tools: the Mastermind approach....Pages 120-150
HandMove: a system for creating animated user interface components by direct manipulation....Pages 151-166
Front Matter....Pages 167-167
Systematic methods for user interface design....Pages 169-188
Validating interactive system design through the verification of formal task and system models....Pages 189-212
Formal verification of undesired behaviours in the CERD case study....Pages 213-226
Adding user interface to a behavioral specification....Pages 227-244
Front Matter....Pages 245-245
Multiuser architectures....Pages 247-270
Multiuser interface architecture using structured distributed shared memories....Pages 271-290
Front Matter....Pages 291-291
A software engineering view of user interface design....Pages 293-306
Systematic creativity: a methodology for integrating user, market and engineering requirements for product definition, design and usability testing....Pages 307-329
Front Matter....Pages 331-331
Mini-workshop: scenarios for CSCW systems....Pages 333-338
Mini-workshop: using the human context in interactive systems development....Pages 339-347
Mini-workshop: is usability testing for specialists only?....Pages 348-357
Front Matter....Pages 331-331
Mini-workshop: how to make formal methods useful....Pages 358-362
Mini-workshop: revisiting the Denver model for groupware design....Pages 363-369
Back Matter....Pages 371-373