Verwandte Artikel zu Formal Methods in Human-Computer Interaction (Formal...
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 44,80
EUR 3,44 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Formal Methods in Human-Computer Interaction (Formal...
Foto des Verkäufers
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers wbs4068309729
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods in Human-Computer Interaction
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 396. Bestandsnummer des Verkäufers 2647979013
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods in Human-Computer Interaction
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 44803546
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods in Human-Computer Interaction
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 396. Bestandsnummer des Verkäufers 1847979023
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Methods in Human-Computer Interaction
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 919487-n
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Formal Methods in Human-Computer Interaction (Paperback)
ISBN 10: 3540761586
ISBN 13: 9783540761587
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This is an examination of 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. The main aim of this text 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783540761587
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Methods in Human-Computer Interaction
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 919487
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783540761587
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540761587_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540761587
Anzahl: 10 verfügbar