Articles liés à Formal Methods in Human-Computer Interaction
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag
- Date d'édition1998
- ISBN 10 3540761586
- ISBN 13 9783540761587
- ReliureBroché
- Langueanglais
- Nombre de pages396
- ÉditeurPalanque Philippe
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 47,23
EUR 7,79 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Formal Methods in Human-Computer Interaction
Image fournie par le vendeur
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Edité par
Springer, 1998
ISBN 10 : 3540761586
ISBN 13 : 9783540761587
Ancien ou d'occasion
Couverture souple
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. N° de réf. du vendeur wbs4068309729
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods in Human-Computer Interaction
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 396. N° de réf. du vendeur 2647979013
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods in Human-Computer Interaction
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 44803546
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods in Human-Computer Interaction
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 396. N° de réf. du vendeur 1847979023
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods in Human-Computer Interaction
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. -This volume covers research in a rapidly growing and important area of formal methods -Each approach is applied to the same case study, allowing the reader to make clear and easy comparisons -Focuses specifically on which implementations and problems each . N° de réf. du vendeur 4900389
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods in Human-Computer Interaction
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540761587
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540761587_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods in Human-Computer Interaction
Edité par
Springer London, Springer Berlin Heidelberg Okt 1997, 1997
ISBN 10 : 3540761586
ISBN 13 : 9783540761587
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch. N° de réf. du vendeur 9783540761587
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783540761587
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 376 pages. French language. 9.50x6.25x1.00 inches. In Stock. N° de réf. du vendeur x-3540761586
Quantité disponible : 2 disponible(s)