Design, Specification and Verification of Interactive Systems '96

Bodart, F., & J. Vanderdonckt, eds.

ISBN 10: 3211829008 / ISBN 13: 9783211829004

Verlag: Springer, 1996

Beschreibung

383 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Bestandsnummer des Verkäufers ZB357674

Bibliografische Details

Titel: Design, Specification and Verification of ...

Verlag: Springer

Erscheinungsdatum: 1996

Einband: Softcover

Zustand: Good

Über diesen Titel

Inhaltsangabe:

Book by None

Reseña del editor:

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.