Interactive Systems: Design, Specification, and Verification
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642871177, 9783642871153

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Human-Computer Collaboration Paradigm For Bridging Design Conceptualization And Implementation

Interactive Systems: Design, Specification, and Verification ◽

10.1007/978-3-642-87115-3_9 ◽

1995 ◽

pp. 129-147 ◽

Cited By ~ 2

Author(s):

Ping Luo

Get full-text (via PubEx)

A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype

Interactive Systems: Design, Specification, and Verification ◽

10.1007/978-3-642-87115-3_6 ◽

1995 ◽

pp. 77-94 ◽

Cited By ~ 14

Author(s):

François Bodart ◽

Anne-Marie Hennebert ◽

Jean-Marie Leheureux ◽

Jean Vanderdonckt

Keyword(s):

Task Analysis ◽

Model Based

Get full-text (via PubEx)

Role of Development Environments

Interactive Systems: Design, Specification, and Verification ◽

10.1007/978-3-642-87115-3_5 ◽

1995 ◽

pp. 61-73

Author(s):

Piyawadee “Noi” Sukaviriya

Get full-text (via PubEx)

Understanding Direct Manipulation Interaction Algebraically

Interactive Systems: Design, Specification, and Verification ◽

10.1007/978-3-642-87115-3_25 ◽

1995 ◽

pp. 413-428

Author(s):

Roger Took

Keyword(s):

Direct Manipulation

Get full-text (via PubEx)

Visual Representation of Formal Specification: An Application to Hierarchical Logical Input Devices

Interactive Systems: Design, Specification, and Verification ◽

10.1007/978-3-642-87115-3_21 ◽

1995 ◽

pp. 349-367 ◽

Cited By ~ 3

Author(s):

Giorgio P. Faconti ◽

Angelo Fornari ◽

Nicola Zani

Keyword(s):

Formal Specification ◽

Visual Representation ◽

Input Devices

Get full-text (via PubEx)

LADA — A Logic for the Analysis of Distributed Actions

Interactive Systems: Design, Specification, and Verification ◽

10.1007/978-3-642-87115-3_19 ◽

1995 ◽

pp. 317-332 ◽

Cited By ~ 3

Author(s):

Alan Dix

Get full-text (via PubEx)

Modelling Interaction Properties for Interactive Case Memories

Interactive Systems: Design, Specification, and Verification ◽

10.1007/978-3-642-87115-3_18 ◽

1995 ◽

pp. 301-316 ◽

Cited By ~ 1

Author(s):

A. M. Dearden ◽

M. D. Harrison

Get full-text (via PubEx)

A Model-Based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge

Interactive Systems: Design, Specification, and Verification ◽

10.1007/978-3-642-87115-3_12 ◽

1995 ◽

pp. 181-197

Author(s):

Piyawadee “Noi” Sukaviriya ◽

Jayakumar Muthukumarasamy ◽

Martin Frank ◽

James D. Foley

Keyword(s):

User Interface ◽

Declarative Knowledge ◽

Model Based ◽

Runtime Environment

Get full-text (via PubEx)

The BOSS System: Coupling Visual Programming with Model Based Interface Design

Interactive Systems: Design, Specification, and Verification ◽

10.1007/978-3-642-87115-3_11 ◽

1995 ◽

pp. 161-179 ◽

Cited By ~ 1

Author(s):

Siegfried Schreiber

Keyword(s):

Interface Design ◽

Visual Programming ◽

Model Based ◽

System Coupling

Get full-text (via PubEx)

Using an Abstract Model for the Formal Specification of Interactive Graphic Systems

Interactive Systems: Design, Specification, and Verification ◽

10.1007/978-3-642-87115-3_26 ◽

1995 ◽

pp. 429-444

Author(s):

Juan Carlos Torres ◽

Buenaventura Clares

Keyword(s):

Formal Specification ◽

Abstract Model ◽

Interactive Graphic

Get full-text (via PubEx)

Interactive Systems: Design, Specification, and VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Human-Computer Collaboration Paradigm For Bridging Design Conceptualization And Implementation

A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype

Role of Development Environments

Understanding Direct Manipulation Interaction Algebraically

Visual Representation of Formal Specification: An Application to Hierarchical Logical Input Devices

LADA — A Logic for the Analysis of Distributed Actions

Modelling Interaction Properties for Interactive Case Memories

A Model-Based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge

The BOSS System: Coupling Visual Programming with Model Based Interface Design

Using an Abstract Model for the Formal Specification of Interactive Graphic Systems

Interactive Systems: Design, Specification, and Verification
Latest Publications