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

9783540695530, 9783540695547

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysis of Pointing Tasks on a White Board

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

10.1007/978-3-540-69554-7_15 ◽

2007 ◽

pp. 185-198 ◽

Cited By ~ 1

Author(s):

G. Faconti ◽

Mieke Massink

Keyword(s):

White Board

Download Full-text

Collaborative Social Structures and Task Modelling Integration

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

10.1007/978-3-540-69554-7_6 ◽

2007 ◽

pp. 67-80 ◽

Cited By ~ 2

Author(s):

Victor M. R. Penichet ◽

Fabio Paternò ◽

J. A. Gallud ◽

Maria D. Lozano

Keyword(s):

Social Structures ◽

And Task

Download Full-text

Validity and Cross-Validity in HCI Publications

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

10.1007/978-3-540-69554-7_2 ◽

2007 ◽

pp. 11-24

Author(s):

Harold Thimbleby

Download Full-text

An Ontological Approach to Visualization Resource Management

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

10.1007/978-3-540-69554-7_12 ◽

2007 ◽

pp. 151-156 ◽

Cited By ~ 2

Author(s):

Richard Potter ◽

Helen Wright

Keyword(s):

Resource Management ◽

Ontological Approach

Download Full-text

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

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

10.1007/978-3-540-69554-7_11 ◽

2007 ◽

pp. 137-150 ◽

Cited By ~ 3

Author(s):

J. C. Silva ◽

José Creissac Campos ◽

João Saraiva

Keyword(s):

Reverse Engineering ◽

Formal Methods ◽

Interactive Applications

Download Full-text

An Investigation into the Validation of Formalised Cognitive Dimensions

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

10.1007/978-3-540-69554-7_9 ◽

2007 ◽

pp. 109-122 ◽

Cited By ~ 4

Author(s):

Chris Roast ◽

Babak Khazaei

Keyword(s):

Cognitive Dimensions

Download Full-text

Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems

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

10.1007/978-3-540-69554-7_5 ◽

2007 ◽

pp. 52-66 ◽

Cited By ~ 14

Author(s):

Harold Thimbleby

Keyword(s):

Interactive Systems ◽

Safety Critical

Download Full-text

Mixed-Fidelity Prototyping of User Interfaces

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

10.1007/978-3-540-69554-7_16 ◽

2007 ◽

pp. 199-212 ◽

Cited By ~ 2

Author(s):

Jennifer N. Petrie ◽

Kevin A. Schneider

Keyword(s):

User Interfaces

Download Full-text

Exploring the Specification of Haptic Interaction

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

10.1007/978-3-540-69554-7_14 ◽

2007 ◽

pp. 171-184 ◽

Cited By ~ 1

Author(s):

Shamus P. Smith

Keyword(s):

Haptic Interaction

Download Full-text

How Do Developers Meet Users? – Attitudes and Processes in Software Development

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

10.1007/978-3-540-69554-7_1 ◽

2007 ◽

pp. 1-10 ◽

Cited By ~ 1

Author(s):

Jan Gulliksen

Keyword(s):

Software Development

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Analysis of Pointing Tasks on a White Board

Collaborative Social Structures and Task Modelling Integration

Validity and Cross-Validity in HCI Publications

An Ontological Approach to Visualization Resource Management

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

An Investigation into the Validation of Formalised Cognitive Dimensions

Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems

Mixed-Fidelity Prototyping of User Interfaces

Exploring the Specification of Haptic Interaction

How Do Developers Meet Users? – Attitudes and Processes in Software Development

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