0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Design, Specification and Verification of Interactive Systems '99 - Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 (Paperback, Softcover reprint of the original 1st ed. 1999) Loot Price: R1,557
Discovery Miles 15 570
Design, Specification and Verification of Interactive Systems '99 - Proceedings of the Eurographics Workshop in Braga,...

Design, Specification and Verification of Interactive Systems '99 - Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 (Paperback, Softcover reprint of the original 1st ed. 1999)

D.J. Duke, A. Puerta

Series: Eurographics

 (sign in to rate)
Loot Price R1,557 Discovery Miles 15 570 | Repayment Terms: R146 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses," emphasising the importance of the interface in making interaction both effective and enjoyable. Presentations and discussions covered topics that included specification methods and their use in design, model-based tool support, task and dialogue models, distributed col laboration, and models for VR input. As in previous years, there was a strong emphasis on formal representations and modelling techniques, and their use in understanding in teraction and informing the design of artefacts. However, the aim of the workshop is to encourage an exchange of views within a broad community, and other approaches, in particular tool support for model-based design, were also represented. This book includes the papers of the two invited speakers (one as an abstract only), the fourteen full papers accepted for publication, two shorter position papers, and the reports from the working group discussions. The format of the workshop aimed to mix formal paper presentations with informal discussion sessions, with the two invited talks setting the tone for the meeting."

General

Imprint: Springer-Verlag
Country of origin: Austria
Series: Eurographics
Release date: 2001
First published: 1999
Editors: D.J. Duke • A. Puerta
Dimensions: 244 x 170 x 16mm (L x W x T)
Format: Paperback
Pages: 282
Edition: Softcover reprint of the original 1st ed. 1999
ISBN-13: 978-3-211-83405-3
Categories: Books > Computing & IT > Computer programming > General
Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General
Promotions
LSN: 3-211-83405-2
Barcode: 9783211834053

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,511 Discovery Miles 25 110
C++ Programming - Program Design…
D. Malik Paperback R1,660 R1,485 Discovery Miles 14 850
Program Construction - Calculating…
Roland Backhouse Paperback R2,712 Discovery Miles 27 120
Programming Logic & Design…
Joyce Farrell Paperback R1,253 R1,123 Discovery Miles 11 230
Sams Teach Yourself: Beginning…
Greg Perry, Dean Miller Paperback R742 R570 Discovery Miles 5 700
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,861 Discovery Miles 18 610
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,084 Discovery Miles 40 840
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,199 Discovery Miles 11 990
News Search, Blogs and Feeds - A Toolkit
Lars Vage, Lars Iselid Paperback R1,366 Discovery Miles 13 660
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,296 Discovery Miles 12 960
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,393 Discovery Miles 13 930
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500

See more

Partners