|
Design, Specification and Verification of Interactive Systems ¿98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3¿5, 1998
|
![](/rcimages/rc200big.jpg) (Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
Lieferstatus: |
i.d.R. innert 5-10 Tagen versandfertig |
Veröffentlichung: |
August 1998
|
Genre: |
EDV / Informatik |
ISBN: |
9783211832127 |
EAN-Code:
|
9783211832127 |
Verlag: |
Springer Vienna |
Einband: |
Kartoniert |
Sprache: |
English
|
Dimensionen: |
H 244 mm / B 170 mm / D 19 mm |
Gewicht: |
588 gr |
Seiten: |
340 |
Zus. Info: |
Paperback |
Bewertung: |
Titel bewerten / Meinung schreiben
|
Inhalt: |
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. |
|