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.
- VerlagSpringer-Verlag
- Erscheinungsdatum1998
- ISBN 10 3540761586
- ISBN 13 9783540761587
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten396
- HerausgeberPalanque Philippe
- Kontakt zum HerstellerNicht verfügbar
EUR 40,81
EUR 6,78 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 47,23
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Formal Methods in Human-Computer Interaction (Formal...
Foto des Verkäufers
Formal Methods in Human-Computer Interaction
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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 . Bestandsnummer des Verkäufers 4900389
Anzahl: Mehr als 20 verfügbar
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: 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: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540761587
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Methods in Human-Computer Interaction
Verlag:
Springer London, Springer Berlin Heidelberg Okt 1997, 1997
ISBN 10: 3540761586
ISBN 13: 9783540761587
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540761587
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 (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: 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
Foto des Verkäufers
Formal Methods in Human-Computer Interaction
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 396 pp. Englisch. Bestandsnummer des Verkäufers 9783540761587
Anzahl: 2 verfügbar