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

ISBN 10: 3211829008 / ISBN 13: 9783211829004

Published by Springer, 1996

About this Item

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Seller Inventory # ABBB-255839

Bibliographic Details

• Title: Design, Specification and Verification of Interactive Systems *96 - Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996
• Publisher: Springer
• Publication Date: 1996
• Language: English
• ISBN 10: 3211829008
• ISBN 13: 9783211829004
• Binding: Soft cover
• Condition: New

About this title

Synopsis

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 which can be obtained from them.

From the Back Cover

To manage communication between users and applications 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 which can be obtained from them.