Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Design, Specification and Verification of Interactive Systems '96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996

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

Bodart, Francois
Vanderdonckt, Jean

Paperback

Series: Eurographics

General ComputersGeneral Gardening

ISBN10: 3211829008
ISBN13: 9783211829004
Publisher: Springer Nature
Published: Oct 7 1996
Pages: 383
Weight: 1.41
Height: 0.83 Width: 6.69 Depth: 9.61
Language: English
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.

Also in

General Gardening

View All