Items related to Design, Specification and Verification of Interactive...
Design, Specification and Verification of Interactive Systems ’96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996 - Softcover
Synopsis
Design, Specification and Verification of Interactive Systems *96 - Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996
"synopsis" may belong to another edition of this title.
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 methdologies which support the designer's work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur, Belgium review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principal requirements and the most suitable notation, and indicate the meaningful results which can be obtained from them.
From the Back Cover
To manage communication between users and applications 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.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date1996
- ISBN 10 3211829008
- ISBN 13 9783211829004
- BindingPaperback
- LanguageEnglish
- Number of pages394
- EditorBodart Francois, Vanderdonckt Jean
Search results for Design, Specification and Verification of Interactive...
Stock Image
Design, Specification and Verification of Interactive Systems '96
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 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. Seller Inventory # ZB357674
Quantity: 1 available
Stock Image
Design, Specification and Verification of Interactive Systems '96 (Eurographics)
Seller: The Book Bin, Salem, OR, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: As New. Like New, very light edge wear. Publish date 1996. Seller Inventory # CORV-BBC-0K02737
Quantity: 1 available
Stock Image
Design, Specification and Verification of Interactive Systems '96 (Eurographics)
Seller: The Book Bin, Salem, OR, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: New. As New in manufacturer shrink wrap. Publish date 1996. Seller Inventory # CORV-BBC-0K02738
Quantity: 1 available
Stock Image
Design, Specification and Verification of Interactive Systems '96
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 404. Seller Inventory # 263137196
Quantity: 1 available
Stock Image
Design, Specification and Verification of Interactive Systems '96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020085201
Quantity: Over 20 available
Stock Image
Design, Specification and Verification of Interactive Systems '96
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 404 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5792115
Quantity: 1 available
Stock Image
Design, Specification and Verification of Interactive Systems '96
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 404. Seller Inventory # 183137190
Quantity: 1 available
Stock Image
Design, Specification and Verification of Interactive Systems '96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783211829004_new
Quantity: Over 20 available
Seller Image
Design, Specification and Verification of Interactive Systems ¿96 : Proceedings of the Eurographics Workshop in Namur, Belgium, June 5¿7, 1996
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783211829004
Quantity: 1 available
Stock Image
Design, Specification and Verification of Interactive Systems '96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 383 pages. French language. 9.75x6.75x0.75 inches. In Stock. Seller Inventory # x-3211829008
Quantity: 2 available