"Design, Specification and Verification of Interactive Systems '97": Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997 - Softcover

Harrison, Michael D.

 
9783211830550:
Softcover
ISBN 10: 3211830553 ISBN 13: 9783211830550
Verlag: Springer, 2013

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3211830553
ISBN 13 
9783211830550
Einband
Taschenbuch
Anzahl der Seiten
336
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783709168790: Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997

Vorgestellte Ausgabe

ISBN 10:  3709168791 ISBN 13:  9783709168790
Verlag: Springer, 2011
Softcover