Jarir Logo

Design

Specification and Verification of Interactive Systems 96 : Proceedings of the Eurographics Workshop in NamurBelgiumJune 5-71996

Printed Book
SR 471
Inclusive of VAT
Sold as: EACH
SR28Per Month/24 months
Author:Bodart, Francois
Date of Publication: 1996
Book classification:Crafts & Hobbies,English Books,
No. of pages:404 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR471
Incl. VAT
Or

About this Product

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 designers 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.
Show more

Specifications

SKU9783211829004
Manufacturer Number9783211829004
year published1996
Show more

Report an issue with this product.

Customer Reviews