Design, Specification and Verification of Interactive Systems '97
Proceedings of the Eurographics 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.
CHF 103.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Torres, Juan C. (Hrsg.)
- ISBN: 978-3-7091-6878-3
- EAN: 9783709168783
- Produktnummer: 37172305
- Verlag: Springer Vienna
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 320 S.
- Plattform: PDF
- Auflage: 1997
4 weitere Werke von Michael D. (Hrsg.) Harrison:
Bewertungen
Anmelden