Verwandte Artikel zu "Design, Specification and Verification of Interactive...

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

 
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.

Von der hinteren Coverseite

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.

„Über diesen Titel“ 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
328
Herausgeber
Harrison Michael D., Torres Juan C.
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland