Product Description: The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in September 2011. ((Text folgt)) The 46 papers included in the third volume are organized in topical sections on novel user interfaces and interaction techniques, paper 2...read more

Product Description: This book constitutes the refereed proceedings of the 7th IFIP WG 13.5 Working Conference on Human Error, Safety and Systems Development, HESSD 2009, held in Brussels, Belgium, in September 2009.The 8 revised full papers presented with were carefully reviewed and selected from numerous submissions for inclusion in the book...read more

Product Description: This book constitutes the joint thoroughly refereed post-proceedings of the 9th IFIP International Conference on Engineering for Human Computer Interaction and of the 11th International Workshop on Design, Specification, and Verification of Interactive Systems, EHCI-DSVIS 2004, held in Hamburg, Germany in July 2004...read more

Product Description: Recent accidents in a range of industries have increased concern over the design, development, management and control of safety-critical systems. Attention has now focused upon the role of human error both in the development and in the operation of complex processes...read more

Product Description: This volume contains the full papers presented at HCI 2003, the 17th Annual Conference of the British HCI Group, a specialist group of the British Computer Society. The conference has become the premier annual conference on Human-Computer Interaction in Europe...read more (view table of contents, read Amazon.com's description)

Product Description: This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000. The 14 revised full papers presented were carefully reviewed and selected from 30 submissions...read more

Product Description: Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements...read more (view table of contents, read Amazon.com's description)

Product Description: This book discusses the issues arising from the emerging discipline of User Interface Systems Engineering (UISE). It contains contributions from software engineers involved in the development and implementation of systems, systems modellers charged with developing representations for systems, and tool builders developing enhanced software tools for systems developers...read more