Skip to content

Design, Specification and Verification of Interactive Systems '96 Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996

Spend $50 to get a free movie!

ISBN-10: 3211829008

ISBN-13: 9783211829004

Edition: 1996

Authors: F. Bodart, J. Vanderdonckt

List price: $109.00
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer s work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results…    
Customers also bought

Book details

List price: $109.00
Copyright year: 1996
Publisher: Springer
Publication date: 10/7/1996
Binding: Paperback
Pages: 383
Size: 6.69" wide x 9.61" long x 0.75" tall
Weight: 1.628
Language: English

Retrospective and Challenges for Model-Based Interface Development
Human Factors in Aeronautics
Abstract Interpretation and Application to Interactive System Verification
Device Models
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 Test its Behaviour
Prototyping Device Interfaces with DSN/2
Toward More Understandable User Interface Specifications
Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO
The Evaluation of User Interface Notations
Supporting Error-Driven Design
Risk Analysis, Impact and Interaction Modelling
Design Assistance for User-Adapted Interaction
GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems
Fusion Engines and Melting Pots
Monolingual, Articulated Modeling of Users, Devices, and Interfaces
Evaluating the Interfaces of Three Theorem Proving Assistants
Validating Properties of Component-based Graphical User Interfaces
Specifying and Reasoning About CSCW