Formal Methods in Human-Computer Interaction (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
376
Utgivningsdatum
1997-10-01
Upplaga
Softcover reprint of the original 1st ed. 1998
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare
Paterno, Fabio
Illustrationer
XVII, 376 p.
Dimensioner
235 x 157 x 23 mm
Vikt
604 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783540761587

Formal Methods in Human-Computer Interaction

av Philippe Palanque, Fabio Paterno
Häftad,  Engelska, 1997-10-01
760
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 1 format & utgåvor
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.
Visa hela texten

Passar bra ihop

  1. Formal Methods in Human-Computer Interaction
  2. +
  3. Co-Intelligence

De som köpt den här boken har ofta också köpt Co-Intelligence av Ethan Mollick (häftad).

Köp båda 2 för 950 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Philippe Palanque, Fabio Paterno

Innehållsförteckning

I Modelling Techniques.- 1 Specifying History and Backtracking Mechanisms.- 2 How to Model a Web (Without Getting Tangled in Nets).- 3 Software Architecture Modelling: Bridging Two Worlds Using Ergonomics and Software Properties.- 4 A Formal Approach to Consistency and Reuse of Links in World Wide Web Applications.- 5 Using Declarative Descriptions to Model User Interfaces with Mastermind.- II Approaches to the Formal Specification.- 6 XTL: A Temporal Logic for the Formal Development of Interactive Systems.- 7 Interaction Object Graphs: An Executable Graphical Notation for Specifying User Interfaces.- 8 Specifying a Web Browser Interface Using Object-Z.- 9 Modelling Clients and Servers on the Web Using Interactive Cooperative Objects.- 10 Development of a WWW Browser Using TADEUS.- 11 Algebraic Specification of a World Wide Web Application Using GRALPLA.- III Approaches to the Formal Evaluation.- 12 TLIM, a Systematic Method for the Design of Interactive Systems.- 13 Electronic Gridlock, Information Saturation and the Unpredictability of Information Retrieval over the World Wide Web.- 14 From Formal Models to Empirical Evaluation and Back Again.- 15 A Component-Based Approach Applied to a Netscape-Like Browser.- References.- The Web Browser Case Study.- Index of Key Words.- Index of Authors.

Du kanske gillar