Design, Specification and Verification of Interactive Systems 97 by Michael D Harrison
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.-
Immersive Projection Technology and Virtual Environments 2001
-
Rendering Techniques '98
-
Rendering Techniques 2001
-
Computer Animation and Simulation 2001
-
Rendering Techniques 2000
-
Computer Animation and Simulation ’99
-
Data Visualization 2001
-
Multimedia ‘99
-
Computer Animation and Simulation 98
-
Volume Graphics 2001
-
Virtual Environments 2000
-
Multimedia 2001
-
Design, Specification and Verification of Interactive Systems 95
-
Design, Specification and Verification of Interactive Systems 98
-
Design, Specification and Verification of Interactive Systems 96
-
Virtual Environments 98
-
Rendering Techniques 96
-
Rendering Techniques 97
-
Virtual Environments 95
-
Data Visualization 99
-
Design, Specification and Verification of Interactive Systems 99
-
Visualization in Scientific Computing 95
-
Virtual Environments 99
-
Computer Animation and Simulation 95
-
Virtual Environments and Scientific Visualization 96
-
Computer Animation and Simulation 96
-
Data Visualization 2000
-
Visualization in Scientific Computing 98
-
Multimedia/Hypermedia in Open Distributed Environments
-
Rendering Techniques 99
-
Programming Paradigms in Graphics
-
Multimedia 96
-
Computer Animation and Simulation 97
-
Rendering Techniques 95
-
Visualization in Scientific Computing 97
| SKU | Unavailable |
| ISBN 13 | 9783211830550 |
| ISBN 10 | 3211830553 |
| Title | Design, Specification and Verification of Interactive Systems 97 |
| Author | Michael D Harrison |
| Series | Eurographics |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Verlag GmbH |
| Year published | 1997-11-11 |
| Number of pages | 320 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |