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.

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.

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 approach is best suited to

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com