Artículos relacionados a Formal Methods in Human-Computer Interaction (Formal...
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT)) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer-Verlag
- Año de publicación1998
- ISBN 10 3540761586
- ISBN 13 9783540761587
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas396
- EditorPalanque Philippe
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 45,38
EUR 10,35 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Formal Methods in Human-Computer Interaction (Formal...
Imagen del vendedor
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: wbs4068309729
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods in Human-Computer Interaction
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 44803546
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods in Human-Computer Interaction
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 396. Nº de ref. del artículo: 2647979013
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods in Human-Computer Interaction
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 396. Nº de ref. del artículo: 1847979023
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Methods in Human-Computer Interaction
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540761587
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540761587_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Methods in Human-Computer Interaction
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 4900389
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783540761587
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Methods in Human-Computer Interaction
Publicado por
Springer London, Springer Berlin Heidelberg Okt 1997, 1997
ISBN 10: 3540761586
ISBN 13: 9783540761587
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540761587
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 376 pages. French language. 9.50x6.25x1.00 inches. In Stock. Nº de ref. del artículo: x-3540761586
Cantidad disponible: 2 disponibles