Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998 - Softcover

 
9783211832127: Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998
Softcover
ISBN 10: 3211832122 ISBN 13: 9783211832127
Publisher: Springer, 1998

Synopsis

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.

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

Product Description

Design, Specification and Verification of Interactive Systems '98 Does modelling play a role in designing interactive systems? The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their specification and analysis techniques, and their role in supporting the design of interactive systems.

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

Publisher
Springer
Publication date
1998
Language
English
ISBN 10 
3211832122
ISBN 13 
9783211832127
Binding
Paperback
Edition number
1
Number of pages
335
Editor
Markopoulos Panos, Johnson Peter