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

9783540416630, 9783540446750

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structuring Interactive Systems Specifications for Executability and Prototypability

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

10.1007/3-540-44675-3_7 ◽

2001 ◽

pp. 97-119 ◽

Cited By ~ 7

Author(s):

David Navarre ◽

Philippe Palanque ◽

Rémi Bastide ◽

Ousmane Sy

Keyword(s):

Interactive Systems

Download Full-text

A Toolkit of Mechanism and Context Independent Widgets

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

10.1007/3-540-44675-3_8 ◽

2001 ◽

pp. 121-133 ◽

Cited By ~ 4

Author(s):

Murray Crease ◽

Philip Gray ◽

Stephen Brewster

Download Full-text

User Interface Declarative Models and Development Environments: A Survey

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

10.1007/3-540-44675-3_13 ◽

2001 ◽

pp. 207-226 ◽

Cited By ~ 40

Author(s):

Paulo Pinheiro da Silva

Keyword(s):

User Interface

Download Full-text

SUIT — Context Sensitive Evaluation of User Interface Development Tools

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

10.1007/3-540-44675-3_6 ◽

2001 ◽

pp. 79-95 ◽

Cited By ~ 2

Author(s):

Joanna Lumsden ◽

Philip Gray

Keyword(s):

User Interface ◽

Context Sensitive ◽

Development Tools

Download Full-text

Questioning the Foundations of Utility for Quality of Service in Interface Development

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

10.1007/3-540-44675-3_2 ◽

2001 ◽

pp. 19-33

Author(s):

Chris Johnson

Keyword(s):

Quality Of Service

Download Full-text

The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results

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

10.1007/3-540-44675-3_14 ◽

2001 ◽

pp. 227-246 ◽

Cited By ~ 3

Author(s):

Quentin Limbourg ◽

Jean Vanderdonckt ◽

Nathalie Souchon

Keyword(s):

Mapping Problem ◽

Preliminary Results ◽

Task Presentation ◽

And Task

Download Full-text

Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties

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

10.1007/3-540-44675-3_9 ◽

2001 ◽

pp. 135-150 ◽

Cited By ~ 21

Author(s):

Fabio Paternò ◽

Carmen Santoro

Keyword(s):

User Interface ◽

Model Checking ◽

Interface Properties

Download Full-text

Specifying Multiple Time Granularities in Interactive Systems

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

10.1007/3-540-44675-3_4 ◽

2001 ◽

pp. 51-63 ◽

Cited By ~ 3

Author(s):

Maria Kutar ◽

Carol Britton ◽

Chrystopher Nehaniv

Keyword(s):

Interactive Systems ◽

Multiple Time

Download Full-text

Wisdom — A UML Based Architecture for Interactive Systems

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

10.1007/3-540-44675-3_12 ◽

2001 ◽

pp. 191-205 ◽

Cited By ~ 10

Author(s):

Nuno Jardim Nunes ◽

João Falcão e Cunha

Keyword(s):

Interactive Systems

Download Full-text

A Framework for the Combination and Characterization of Output Modalities

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

10.1007/3-540-44675-3_3 ◽

2001 ◽

pp. 35-50 ◽

Cited By ~ 12

Author(s):

F. Vernier ◽

L. Nigay

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Structuring Interactive Systems Specifications for Executability and Prototypability

A Toolkit of Mechanism and Context Independent Widgets

User Interface Declarative Models and Development Environments: A Survey

SUIT — Context Sensitive Evaluation of User Interface Development Tools

Questioning the Foundations of Utility for Quality of Service in Interface Development

The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results

Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties

Specifying Multiple Time Granularities in Interactive Systems

Wisdom — A UML Based Architecture for Interactive Systems

A Framework for the Combination and Characterization of Output Modalities

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