Formal Methods in Human-Computer Interaction

Name: Formal Methods in Human-Computer Interaction
Brand: Springer, Berlin
SKU: 9783540761587
Price: 298.01 RON
Availability: InStock

Autor: Philippe Palanque, Fabio Paterno

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

298.01 lei

Formal methods have already been shown to improve the development process and quality assurance in s...

Informații despre carte

Autor

Philippe Palanque, Fabio Paterno

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1997

Pagini

376

EAN

9783540761587

ISBN

3540761586

Enbook ID

06810122

Editura

Springer, Berlin

Greutate

604

Dimensiuni

156 x 234 x 20

Descriere completă

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 of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Methods in Human-Computer Interaction

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și