Gå direkt till innehållet
Design, Specification and Verification of Interactive Systems ’97
Spara

Design, Specification and Verification of Interactive Systems ’97

Engelska
An increasing recognition of the role of 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 volume seeks to reflect the state of the art in this area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
Undertitel
Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
Upplaga
Softcover reprint of the original 1st ed. 1997
ISBN
9783211830550
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
11.11.1997
Sidor
320