Items related to Formal Methods in Human-Computer Interaction (Formal...
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1998
- ISBN 10 3540761586
- ISBN 13 9783540761587
- BindingPaperback
- LanguageEnglish
- Number of pages393
- EditorPalanque Philippe, Paterno Fabio
Search results for Formal Methods in Human-Computer Interaction (Formal...
Seller Image
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # wbs4068309729
Quantity: 1 available
Stock Image
Formal Methods in Human-Computer Interaction
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 396. Seller Inventory # 2647979013
Quantity: 1 available
Stock Image
Formal Methods in Human-Computer Interaction
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 44803546
Quantity: 1 available
Stock Image
Formal Methods in Human-Computer Interaction
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 396. Seller Inventory # 1847979023
Quantity: 1 available
Stock Image
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540761587
Quantity: Over 20 available
Stock Image
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540761587_new
Quantity: Over 20 available
Seller Image
Formal Methods in Human-Computer Interaction
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540761587
Quantity: 1 available
Stock Image
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 376 pages. French language. 9.50x6.25x1.00 inches. In Stock. Seller Inventory # x-3540761586
Quantity: 2 available
Seller Image
Formal Methods in Human-Computer Interaction
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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 . Seller Inventory # 4900389
Quantity: Over 20 available
Stock Image
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA70435407615865
Quantity: 1 available