Formal Methods in Human-Computer Interaction

Häftad, Engelska, 1997

Del i serien Formal Approaches to Computing and Information Technology (FACIT)

559 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:1997-10-29
Mått:155 x 235 x undefined mm
Vikt:598 g
Format:Häftad
Språk:Engelska
Serie:Formal Approaches to Computing and Information Technology (FACIT)
Antal sidor:376
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540761587

Utforska kategorier

Människa – datorinteraktion inom Data och IT

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.