The book "Formal Methods in Human-Computer Interaction" is published by Springer Verlag.
The ISBN is 3-540-76158-6 and the price is
29.50 sterling. Orders can be placed with the sales department at the address
below or on the following contact numbers: tel: (0) 1483 418822 /
fax: (0)1483 415151 / email: sarah@svl.co.uk
Structure of the book
List of contributors
Part I: Modelling Techniques
1 Specifying History and Backtracking Mechanisms, pp. 1-24
A. Dix and R. Mancini
2 How to Model a Web (Without Getting Tangled in Nets), pp. 25-48
D. J. Duke
3 Software Architecture Modelling: Bridging Two Worlds
Using Ergonomics and Software Properties, pp. 49-74
L. Nigay and J. Coutaz
4 A Formal Approach to Consistency and Reuse of Links in
World Wide Web Applications, pp.75-92
R. Pontin de Mattos Fortes, M. do Carmo Nicoletti and A. Neto
5 Using Declarative Descriptions to Model User Interfaces
with MASTERMIND, pp. 93-120
T. Browne, D. Davilla, S. Rugaber and K. Stirewalt
Part II Approaches to the Formal Specification
6 XTL: A Temporal Logic for the Formal Development of
Interactive Systems, pp. 121-140
P. Brun
7 Interaction Object Graphs: An Executable Graphical Notation for
Specifying User Interfaces, pp. 141-156
D. Carr
8 Specifying a Web Browser Interface Using Object-Z, pp. 157-174
A. Hussey and D. Carrington
9 Modelling Clients and Servers on the Web Using
Interactive Cooperative Objects, pp. 175-194
P. Palanque and R. Bastide
10 Development of a WWW Browser Using TADEUS, pp. 195-224
E. Schlungbaum,
11 Algebraic Specification of a World Wide Web Application
Using GRALPLA, pp. 225-240
J.C. Torres
Part III Approaches to the Formal Evaluation
12 TLIM, a Systematic Method for the Design of Interactive Systems, pp. 241-260
F. Paterṇ and S. Meniconi
13 Electronic Gridlock, Information Saturation and the Unpredictability
of Information Retrieval over the World Wide Web, pp. 261-282
C.W. Johnson
14 From Formal Models to Empirical Evaluation and Back Again, pp. 283-314
P. Wright, N. Merriam and B. Fields
15 A Component-Based Approach Applied to a Netscape-Like Browser, pp. 315-346
P. Alencar, P. Bumbulis and D. Cowan