Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics)

ISBN 10: 3540594809 / ISBN 13: 9783540594802

Published by Springer, 1995

About this Item

US SELLER SHIPS FAST FROM USA.

Seller Inventory # 151B1-3540594809

Bibliographic Details

• Title: Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics)
• Publisher: Springer
• Publication Date: 1995
• Language: English
• ISBN 10: 3540594809
• ISBN 13: 9783540594802
• Binding: Hardcover
• Edition: 1st Edition
• Condition: New

About this title

Synopsis

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation. The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.

Synopsis

These conference proceedings review the state of the art in systems design, specification and verification. The book compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods.