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).
- ISBN10 3540761055
- ISBN13 9783540761051
- Publish Date 4 November 1996
- Publish Status Active
- Out of Print 28 January 2015
- Publish Country DE
- Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Edition Edition. ed.
- Format Paperback
- Pages 13
- Language English