Formal Methods in Human-Computer Interaction
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer London

9783540761587, 9781447134251

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modelling Clients and Servers on the Web Using Interactive Cooperative Objects

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_9 ◽

1998 ◽

pp. 175-194 ◽

Author(s):

Philippe Palanque ◽

Fabio Paternò

Keyword(s):

Download Full-text

Interaction Object Graphs: An Executable Graphical Notation for Specifying User Interfaces

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_7 ◽

1998 ◽

pp. 141-155

Author(s):

Philippe Palanque ◽

Fabio Paternò

Keyword(s):

User Interfaces ◽

Graphical Notation ◽

Download Full-text

XTL: A Temporal Logic for the Formal Development of Interactive Systems

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_6 ◽

1998 ◽

pp. 121-139 ◽

Author(s):

Philippe Palanque ◽

Fabio Paternò

Keyword(s):

Temporal Logic ◽

Interactive Systems ◽

Formal Development

Download Full-text

Electronic Gridlock, Information Saturation and the Unpredictability of Information Retrieval over the World Wide Web

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_13 ◽

1998 ◽

pp. 261-282

Author(s):

Philippe Palanque ◽

Fabio Paternò

Keyword(s):

Information Retrieval ◽

World Wide Web ◽

Download Full-text

Development of a WWW Browser Using TADEUS

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_10 ◽

1998 ◽

pp. 195-223

Author(s):

Philippe Palanque ◽

Fabio Paternò

Download Full-text

Software Architecture Modelling: Bridging Two Worlds Using Ergonomics and Software Properties

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_3 ◽

1998 ◽

pp. 49-73 ◽

Author(s):

Philippe Palanque ◽

Fabio Paternò

Keyword(s):

Software Architecture ◽

Architecture Modelling

Download Full-text

Algebraic Specification of a World Wide Web Application Using GRALPLA

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_11 ◽

1998 ◽

pp. 225-240

Author(s):

Philippe Palanque ◽

Fabio Paternò

Keyword(s):

World Wide Web ◽

Web Application ◽

Algebraic Specification

Download Full-text

A Component-Based Approach Applied to a Netscape-Like Browser

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_15 ◽

1998 ◽

pp. 315-346

Author(s):

Philippe Palanque ◽

Fabio Paternò

Download Full-text

Specifying History and Backtracking Mechanisms

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_1 ◽

1998 ◽

pp. 1-23

Author(s):

Philippe Palanque ◽

Fabio Paternò

Download Full-text

From Formal Models to Empirical Evaluation and Back Again

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_14 ◽

1998 ◽

pp. 283-313 ◽

Author(s):

Philippe Palanque ◽

Fabio Paternò

Keyword(s):

Empirical Evaluation ◽

Download Full-text