Design, Specification and Verification of Interactive Systems '97

Harrison, M. D., & J. C. Torres, eds.

ISBN 10: 3211830553 / ISBN 13: 9783211830550

Verlag: Springer Wien, 1997

Beschreibung

320 pp., softcover, ex library, else text and binding clean, tight, and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Bestandsnummer des Verkäufers ZB356302

Bibliografische Details

Titel: Design, Specification and Verification of ...

Verlag: Springer Wien

Erscheinungsdatum: 1997

Einband: Softcover

Zustand: Good

Über diesen Titel

Inhaltsangabe:

Rare Book

Reseña del editor:

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.