Ebook: Formal Methods in Human-Computer Interaction

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.

---

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.

---

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.
Content:
Front Matter....Pages iii-xvii
Specifying History and Backtracking Mechanisms....Pages 1-23
How to Model a Web (Without Getting Tangled in Nets)....Pages 25-47
Software Architecture Modelling: Bridging Two Worlds Using Ergonomics and Software Properties....Pages 49-73
A Formal Approach to Consistency and Reuse of Links in World Wide Web Applications....Pages 75-92
Using Declarative Descriptions to Model User Interfaces with MASTERMIND....Pages 93-120
XTL: A Temporal Logic for the Formal Development of Interactive Systems....Pages 121-139
Interaction Object Graphs: An Executable Graphical Notation for Specifying User Interfaces....Pages 141-155
Specifying a Web Browser Interface Using Object-Z....Pages 157-174
Modelling Clients and Servers on the Web Using Interactive Cooperative Objects....Pages 175-194
Development of a WWW Browser Using TADEUS....Pages 195-223
Algebraic Specification of a World Wide Web Application Using GRALPLA....Pages 225-240
TLIM: A Systematic Method for the Design of Interactive Systems....Pages 241-259
Electronic Gridlock, Information Saturation and the Unpredictability of Information Retrieval over the World Wide Web....Pages 261-282
From Formal Models to Empirical Evaluation and Back Again....Pages 283-313
A Component-Based Approach Applied to a Netscape-Like Browser....Pages 315-346
Back Matter....Pages 347-376

---

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.
Content:
Front Matter....Pages iii-xvii
Specifying History and Backtracking Mechanisms....Pages 1-23
How to Model a Web (Without Getting Tangled in Nets)....Pages 25-47
Software Architecture Modelling: Bridging Two Worlds Using Ergonomics and Software Properties....Pages 49-73
A Formal Approach to Consistency and Reuse of Links in World Wide Web Applications....Pages 75-92
Using Declarative Descriptions to Model User Interfaces with MASTERMIND....Pages 93-120
XTL: A Temporal Logic for the Formal Development of Interactive Systems....Pages 121-139
Interaction Object Graphs: An Executable Graphical Notation for Specifying User Interfaces....Pages 141-155
Specifying a Web Browser Interface Using Object-Z....Pages 157-174
Modelling Clients and Servers on the Web Using Interactive Cooperative Objects....Pages 175-194
Development of a WWW Browser Using TADEUS....Pages 195-223
Algebraic Specification of a World Wide Web Application Using GRALPLA....Pages 225-240
TLIM: A Systematic Method for the Design of Interactive Systems....Pages 241-259
Electronic Gridlock, Information Saturation and the Unpredictability of Information Retrieval over the World Wide Web....Pages 261-282
From Formal Models to Empirical Evaluation and Back Again....Pages 283-313
A Component-Based Approach Applied to a Netscape-Like Browser....Pages 315-346
Back Matter....Pages 347-376
....