Skip to product information
Design, Specification and Verification of Interactive Systems ’98 Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Eurographics
Design, Specification and Verification of Interactive Systems ’98
Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998
Panos Markopoulos | Peter Johnson
Computers / Human-Computer Interaction
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.
| Publication Date: | 10 August 1998 |
| Publisher: | Springer Vienna |
| Imprint: | Springer |
| ISBN-13: | 9783211832127 |
| Format: | Paperback softback |
| Page Count: | 326 |