Design, Specification and Verification of Interactive Systems ’96 PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Design, Specification and Verification of Interactive Systems ’96 PDF full book. Access full book title Design, Specification and Verification of Interactive Systems ’96 by Francois Bodart. Download full books in PDF and EPUB format.

Design, Specification and Verification of Interactive Systems ’96

Design, Specification and Verification of Interactive Systems ’96 PDF Author: Francois Bodart
Publisher: Springer Science & Business Media
ISBN: 3709174910
Category : Computers
Languages : en
Pages : 398

Get Book Here

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