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

 
9783211830550: Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
Softcover
ISBN 10: 3211830553 ISBN 13: 9783211830550
Publisher: Springer, 1997

Synopsis

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.

"synopsis" may belong to another edition of this title.

Product Description

Design, Specification and Verification of Interactive Systems: '97 This volume seeks to reflect the state of the art in the area of design, specification and verification of interactive systems. It also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
1997
Language
English
ISBN 10 
3211830553
ISBN 13 
9783211830550
Binding
Paperback
Number of pages
328
Editor
Harrison Michael D., Torres Juan C.

Other Popular Editions of the Same Title

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

Featured Edition

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