Philippe Palanque & Fabio Paterno 
Formal Methods in Human-Computer Interaction [PDF ebook] 

Support

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. Its main aim is to compare the different approaches and examine which particular type o...

read more
€58.12
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9781447134251 ● Editor Philippe Palanque & Fabio Paterno ● Publisher Springer London ● Published 2012 ● Downloadable 3 times ● Currency EUR ● ID 4720704 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,593 Ebooks in this category