Blick ins Buch

Formal Methods in Human-Computer Interaction

Philippe Palanque, Fabio Paterno (Herausgeber)

Buch | Softcover

XVII, 376 Seiten

1997 | 1. Softcover reprint of the original 1st ed. 1998
Springer Berlin (Verlag)
978-3-540-76158-7 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

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.

Erscheint lt. Verlag	29.10.1997
Reihe/Serie	Formal Approaches to Computing and Information Technology (FACIT)
Zusatzinfo	XVII, 376 p.
Verlagsort	London
Sprache	englisch
Maße	155 x 235 mm
Gewicht	604 g
Themenwelt	Informatik ► Software Entwicklung ► User Interfaces (HCI)
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	formal specification • Human-Computer Interaction (HCI) • interactive system • Logic • Mensch-Computer-Kommunikation • Usability • user interface • User Interface Design
ISBN-10	3-540-76158-6 / 3540761586
ISBN-13	978-3-540-76158-7 / 9783540761587
Zustand	Neuware