BCS-FACS Workshop on Formal Aspects of the Human Computer Interface: Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer . 1996 (electronic Workshops in Computing)

ISBN 10: 3540761055 / ISBN 13: 9783540761051

Published by Springer, 1996

About this Item

LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # ERICA79335407610556

Bibliographic Details

• Title: BCS-FACS Workshop on Formal Aspects of the Human Computer Interface: Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer . 1996 (electronic Workshops in Computing)
• Publisher: Springer
• Publication Date: 1996
• Language: English
• ISBN 10: 3540761055
• ISBN 13: 9783540761051
• Binding: Paperback
• Condition: Like New
• Book Type: book

About this title

Synopsis

The BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, held in Sheffield, UK, 10-12 September 1996, concentrated on modelling techniques suitable for advanced interface requirements, or the application of formal techniques within interface design. Among the specific topics covered are: the specification of safety-critical interfaces; unifying system and user models; and improving the effectiveness, usability and acceptance of formal techniques. The full papers from the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface are available on-line at: http://www.springer.co.uk/eWiC/Workshops/FAHCI.html This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time).