Design, Specification and Verification of Interactive Systems ’96

Design, Specification and Verification of Interactive Systems ’96
Author :
Publisher : Springer Science & Business Media
Total Pages : 398
Release :
ISBN-10 : 9783709174913
ISBN-13 : 3709174910
Rating : 4/5 (910 Downloads)

Book Synopsis Design, Specification and Verification of Interactive Systems ’96 by : Francois Bodart

Download or read book Design, Specification and Verification of Interactive Systems ’96 written by Francois Bodart and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Design, Specification and Verification of Interactive Systems ’96 Related Books

Design, Specification and Verification of Interactive Systems ’96
Language: en
Pages: 398
Authors: Francois Bodart
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the ap
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 280
Authors: Gavin Doherty
Categories: Computers
Type: BOOK - Published: 2007-05-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Syst
Interactive Systems: Design, Specification, and Verification
Language: en
Pages: 278
Authors: Bodo Urban
Categories: Computers
Type: BOOK - Published: 2003-07-01 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive S
Design, Specification and Verification of Interactive Systems ’99
Language: en
Pages: 292
Authors: D.J. Duke
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at
Design, Specification and Verification of Interactive Systems ’97
Language: en
Pages: 328
Authors: Michael D. Harrison
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed tha