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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Vienna

9783211827390, 9783709194379

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Requirements For The Next Generation Of User Interface Specification Languages

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

10.1007/978-3-7091-9437-9_8 ◽

1995 ◽

pp. 113-133 ◽

Cited By ~ 7

Author(s):

Phil Gray ◽

Chris Johnson

Keyword(s):

User Interface ◽

Specification Languages ◽

Next Generation ◽

Interface Specification

Download Full-text

Interacting With Information

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

10.1007/978-3-7091-9437-9_3 ◽

1995 ◽

pp. 27-34

Author(s):

Dan R. Olsen

Download Full-text

Formal Specification Techniques for Interactive Systems

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

10.1007/978-3-7091-9437-9_2 ◽

1995 ◽

pp. 21-26

Author(s):

Marie-Claude Gaudel

Keyword(s):

Formal Specification ◽

Interactive Systems ◽

Specification Techniques

Download Full-text

Applying A Structured Method For Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study

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

10.1007/978-3-7091-9437-9_19 ◽

1995 ◽

pp. 311-328 ◽

Cited By ~ 1

Author(s):

James Middlemass ◽

Adam Stork ◽

John Long

Keyword(s):

User Requirements ◽

Usability Engineering ◽

Recreational Facilities ◽

Successful Case

Download Full-text

On The Expression Of Interaction Properties Within An Interactor Model

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

10.1007/978-3-7091-9437-9_18 ◽

1995 ◽

pp. 294-310 ◽

Cited By ~ 3

Author(s):

Panos Markopoulos

Download Full-text

Towards a Systematic Building of Software Architecture: the TRIDENT Methodological Guide

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

10.1007/978-3-7091-9437-9_16 ◽

1995 ◽

pp. 262-278 ◽

Cited By ~ 16

Author(s):

François Bodart ◽

Anne-Marie Hennebert ◽

Jean-Marie Leheureux ◽

Isabelle Provot ◽

Benoît Sacré ◽

...

Keyword(s):

Software Architecture

Download Full-text

Moving Between Contexts

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

10.1007/978-3-7091-9437-9_10 ◽

1995 ◽

pp. 149-173 ◽

Cited By ~ 2

Author(s):

Alan Dix

Download Full-text

Interaction and Task Requirements

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

10.1007/978-3-7091-9437-9_5 ◽

1995 ◽

pp. 54-75 ◽

Cited By ~ 7

Author(s):

D. J. Duke ◽

M. D. Harrison

Keyword(s):

Task Requirements ◽

And Task

Download Full-text

Towards a taxonomy for interactive graphics systems

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

10.1007/978-3-7091-9437-9_24 ◽

1995 ◽

pp. 362-370 ◽

Cited By ~ 2

Author(s):

G. Pierra

Keyword(s):

Interactive Graphics

Download Full-text

Modelling and Generation of Graphical User Interfaces in the TADEUS Approach

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

10.1007/978-3-7091-9437-9_12 ◽

1995 ◽

pp. 193-208 ◽

Cited By ~ 20

Author(s):

Thomas Elwert ◽

Egbert Schlungbaum

Keyword(s):

User Interfaces ◽

Graphical User Interfaces

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Vienna

Requirements For The Next Generation Of User Interface Specification Languages

Interacting With Information

Formal Specification Techniques for Interactive Systems

Applying A Structured Method For Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study

On The Expression Of Interaction Properties Within An Interactor Model

Towards a Systematic Building of Software Architecture: the TRIDENT Methodological Guide

Moving Between Contexts

Interaction and Task Requirements

Towards a taxonomy for interactive graphics systems

Modelling and Generation of Graphical User Interfaces in the TADEUS Approach

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