BCS-FACS Workshop on Formal Aspects of the Human Computer Interface
Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10-12 September 1996
Published on 4. November 1996
Book
Paperback/Softback
VI, 7 pages
978-3-540-76105-1 (ISBN)
Description
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).