| Title:
|
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS '98
PROCEEDINGS OF THE EUROGRAPHICS WORKSHOP IN ABINGDON, UK, JUNE 3-5, 1998 |
| By: |
Panos Markopoulos (Editor), Peter Johnson (Editor) |
| Format: |
Paperback |
| List price:
|
£44.99 |
| Our price: |
£39.37 |
| Discount: |
|
| You save:
|
£5.62 |
|
|
|
|
|
| ISBN 10: |
3211832122 |
| ISBN 13: |
9783211832127 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
SPRINGER VERLAG GMBH |
| Pub. date: |
10 August, 1998 |
| Series: |
Eurographics |
| Pages: |
326 |
| Description: |
Does modelling play a role in designing interactive systems? The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their specification and analysis techniques, and their role in supporting the design of interactive systems. |
| Synopsis: |
Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems. |
| Illustrations: |
99 black & white illustrations, biography |
| Publication: |
Austria |
| Imprint: |
Springer Verlag GmbH |
| Returns: |
Returnable |