Design, Specification and Verification of Interactive Systems ’96

Released on by Francois Bodart
preview-18

  • Design, Specification and Verification of Interactive Systems ’96 Book Detail

  • Author : Francois Bodart
  • Release Date : 2012-12-06
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 398
  • ISBN 13 : 3709174910
  • File Size : 97,97 MB
DOWNLOAD BOOK

Design, Specification and Verification of Interactive Systems ’96 by Francois Bodart PDF Summary

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.

Disclaimer: www.yourbookbest.com does not own Design, Specification and Verification of Interactive Systems ’96 books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.