|
Design, Specification and Verification of Interactive Systems ¿97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4¿6, 1997
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
Lieferstatus: |
i.d.R. innert 5-10 Tagen versandfertig |
Veröffentlichung: |
November 1997
|
Genre: |
EDV / Informatik |
ISBN: |
9783211830550 |
EAN-Code:
|
9783211830550 |
Verlag: |
Springer Vienna |
Einband: |
Kartoniert |
Sprache: |
English
|
Dimensionen: |
H 244 mm / B 170 mm / D 19 mm |
Gewicht: |
581 gr |
Seiten: |
336 |
Zus. Info: |
Paperback |
Bewertung: |
Titel bewerten / Meinung schreiben
|
Inhalt: |
An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study. |
|