Das Buch ist derzeit nicht auf Lager
Design, specification and verification of interactive systems '97
Autoren
Parameter
Mehr zum Buch
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.
Buchkauf
Design, specification and verification of interactive systems '97, Michael Douglas Harrison
- Sprache
- Erscheinungsdatum
- 1997
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Design, specification and verification of interactive systems '97
- Sprache
- Englisch
- Autor*innen
- Michael Douglas Harrison
- Verlag
- Springer
- Erscheinungsdatum
- 1997
- ISBN10
- 3211830553
- ISBN13
- 9783211830550
- Reihe
- Eurographics
- Kategorie
- Skripten & Universitätslehrbücher
- Beschreibung
- 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.