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

Name: Design, Specification and Verification of Interactive Systems '96 Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996
Price: 27.75 USD
Availability: InStock
ISBN: 9783211829004

ISBN-10: 3211829008

ISBN-13: 9783211829004

Edition: 1996

Authors: F. Bodart, J. Vanderdonckt

List price: $54.99

30 day, 100% satisfaction guarantee!

Marketplace

3 new & used from $27.75

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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…

Book details

List price: $54.99
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