Design, Specification and Verification of Interactive Systems '96

Design, Specification and Verification of Interactive Systems '96 Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996 - Eurographics

Softcover reprint of the original 1st Edition 1996

Paperback (07 Oct 1996)

  • $62.81
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN: 9783211829004
Publisher: Springer Vienna
Imprint: Springer
Pub date:
Edition: Softcover reprint of the original 1st Edition 1996
Language: English
Number of pages: 383
Weight: 745g
Height: 216mm
Width: 138mm
Spine width: 19mm