Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540428077, 9783540455226

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Tool Suite for Integrating Task and System Models through Scenarios

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_6 ◽

2001 ◽

pp. 88-113 ◽

Cited By ~ 28

Author(s):

David Navarre ◽

Philippe Palanque ◽

Fabio Paternò ◽

Carmen Santoro ◽

Rémi Bastide

Keyword(s):

System Models

Download Full-text

Model-Based User Interface Design Using Markup Concepts

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_2 ◽

2001 ◽

pp. 16-27 ◽

Cited By ~ 17

Author(s):

Andreas Mueller ◽

Peter Forbrig ◽

Clemens Cap

Keyword(s):

User Interface ◽

Interface Design ◽

User Interface Design ◽

Model Based

Download Full-text

Towards Uniformed Task Models in a Model-Based Approach

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_10 ◽

2001 ◽

pp. 164-182 ◽

Cited By ~ 15

Author(s):

Quentin Limbourg ◽

Costin Pribeanu ◽

Jean Vanderdonckt

Keyword(s):

Model Based

Download Full-text

Modelling Dynamic Group Behaviours

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_8 ◽

2001 ◽

pp. 128-143 ◽

Cited By ~ 4

Author(s):

José Luis Garrido ◽

Miguel Gea

Keyword(s):

Dynamic Group

Download Full-text

Heuristic Evaluation of Website Attractiveness and Usability

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_11 ◽

2001 ◽

pp. 183-198 ◽

Cited By ~ 16

Author(s):

Alistair Sutcliffe

Keyword(s):

Heuristic Evaluation

Download Full-text

Task Modelling for Context-Sensitive User Interfaces

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_4 ◽

2001 ◽

pp. 49-68 ◽

Cited By ~ 20

Author(s):

Costin Pribeanu ◽

Quentin Limbourg ◽

Jean Vanderdonckt

Keyword(s):

User Interfaces ◽

Context Sensitive

Download Full-text

Affordance and Symmetry

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_12 ◽

2001 ◽

pp. 199-217 ◽

Cited By ~ 1

Author(s):

Harold Thimbleby

Download Full-text

Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_5 ◽

2001 ◽

pp. 69-87 ◽

Cited By ~ 3

Author(s):

Maria de F.Q.V. Turnell ◽

Alexandre Scaico ◽

Marckson R. F. de Sousa ◽

Angelo Perkusich

Keyword(s):

User Interface ◽

Petri Nets ◽

Coloured Petri Nets ◽

User Interface Evaluation

Download Full-text

Temporal Patterns for Complex Interaction Design

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_7 ◽

2001 ◽

pp. 114-127 ◽

Cited By ~ 2

Author(s):

Min Du ◽

David England

Keyword(s):

Interaction Design ◽

Temporal Patterns ◽

Complex Interaction

Download Full-text

Reasoning about Interactive Systems with Stochastic Models

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_9 ◽

2001 ◽

pp. 144-163 ◽

Cited By ~ 6

Author(s):

G. Doherty ◽

M. Massink ◽

G. Faconti

Keyword(s):

Stochastic Models ◽

Interactive Systems

Download Full-text

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Tool Suite for Integrating Task and System Models through Scenarios

Model-Based User Interface Design Using Markup Concepts

Towards Uniformed Task Models in a Model-Based Approach

Modelling Dynamic Group Behaviours

Heuristic Evaluation of Website Attractiveness and Usability

Task Modelling for Context-Sensitive User Interfaces

Affordance and Symmetry

Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis

Temporal Patterns for Complex Interaction Design

Reasoning about Interactive Systems with Stochastic Models

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science
Latest Publications