Formal methods in human-computer interaction
Auteur :
Palanque, Philippe
ISBN :
9783540761587
Date de publication :
29 oct. 1997
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
554 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Formal methods improve the development process and quality assurance in system design and implementation. This text examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods offer useful support in usability evaluation.