Gå direkte til innholdet
Design, Specification and Verification of Interactive Systems '97
Design, Specification and Verification of Interactive Systems '97
Spar

Design, Specification and Verification of Interactive Systems '97

Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
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.
Undertittel
Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997
ISBN
9783709168783
Språk
Engelsk
Utgivelsesdato
6.12.2012
Tilgjengelige elektroniske format
  • PDF - Adobe DRM
Les e-boka her
  • E-bokleser i mobil/nettbrett
  • Lesebrett
  • Datamaskin