Compartir
design, specification and verification of interactive systems '97: proceedings of the eurograhics workshop in granada, spain, june 4-6, 1997
Michael D. Harrison
(Ilustrado por)
·
Juan C. Torres
(Ilustrado por)
·
Springer
· Tapa Blanda
design, specification and verification of interactive systems '97: proceedings of the eurograhics workshop in granada, spain, june 4-6, 1997 - Harrison, Michael D. ; Torres, Juan C.
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
Reseña del libro "design, specification and verification of interactive systems '97: proceedings of the eurograhics workshop in granada, spain, june 4-6, 1997"
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.