Eurographics - Design, Specification and Verification of Interactive Systems ’96
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Vienna

9783211829004, 9783709174913

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Prototyping Device Interfaces with DSN/2

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_7 ◽

1996 ◽

pp. 123-140 ◽

Cited By ~ 2

Author(s):

Gerd Szwillus ◽

Klaus Kespohl

Download Full-text

Fusion Engines and Melting Pots

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_15 ◽

1996 ◽

pp. 292-311 ◽

Cited By ~ 1

Author(s):

J. K. Hyde ◽

D. J. Duke

Download Full-text

Design assistance for user-adapted interaction

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_13 ◽

1996 ◽

pp. 248-271 ◽

Cited By ~ 1

Author(s):

D. Akoumianakis ◽

A. Savidis ◽

C. Stephanidis

Download Full-text

Toward more understandable user interface specifications

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_8 ◽

1996 ◽

pp. 141-161 ◽

Cited By ~ 1

Author(s):

David A. Carr

Keyword(s):

User Interface

Download Full-text

Abstract Interpretation and Application to Interactive System Verification

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_3 ◽

1996 ◽

pp. 46-72 ◽

Cited By ~ 2

Author(s):

Baudouin Le Charlier

Keyword(s):

Abstract Interpretation ◽

Interactive System ◽

System Verification

Download Full-text

Validating Properties of Component-based Graphical User Interfaces

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_18 ◽

1996 ◽

pp. 347-365 ◽

Cited By ~ 7

Author(s):

Peter Bumbulis ◽

P. S. C. Alencar ◽

D. D. Cowan ◽

C. J. P. Lucena

Keyword(s):

User Interfaces ◽

Graphical User Interfaces

Download Full-text

GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_14 ◽

1996 ◽

pp. 272-291 ◽

Cited By ~ 1

Author(s):

J. C. Torres ◽

M. Gea ◽

F. L. Gutierrez ◽

M. Cabrera ◽

M. Rodriguez

Keyword(s):

Specification Language ◽

Algebraic Specification ◽

Interactive Graphic

Download Full-text

A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_5 ◽

1996 ◽

pp. 92-104 ◽

Cited By ~ 12

Author(s):

Johnny Accot ◽

Stéphane Chatty ◽

Philippe Palanque

Keyword(s):

Interactive Systems ◽

Formal Description ◽

Low Level

Download Full-text

Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_6 ◽

1996 ◽

pp. 105-122 ◽

Cited By ~ 9

Author(s):

Bruno d’Ausbourg ◽

Guy Durrieu ◽

Pierre Roche

Keyword(s):

Formal Model ◽

Interactive System

Download Full-text

Device Models

Eurographics - Design, Specification and Verification of Interactive Systems ’96 ◽

10.1007/978-3-7091-7491-3_4 ◽

1996 ◽

pp. 73-91 ◽

Cited By ~ 4

Author(s):

G. P. Faconti ◽

D. J. Duke

Download Full-text

Eurographics - Design, Specification and Verification of Interactive Systems ’96Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Vienna

Prototyping Device Interfaces with DSN/2

Fusion Engines and Melting Pots

Design assistance for user-adapted interaction

Toward more understandable user interface specifications

Abstract Interpretation and Application to Interactive System Verification

Validating Properties of Component-based Graphical User Interfaces

GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems

A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems

Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour

Device Models

Eurographics - Design, Specification and Verification of Interactive Systems ’96
Latest Publications