Design, Specification and Verification of Interactive Systems 98 by Panos Markopoulos
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.-
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 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
-
Design, Specification and Verification of Interactive Systems 97
-
Multimedia 96
-
Computer Animation and Simulation 97
-
Rendering Techniques 95
-
Visualization in Scientific Computing 97
| SKU | Unavailable |
| ISBN 13 | 9783211832127 |
| ISBN 10 | 3211832122 |
| Title | Design, Specification and Verification of Interactive Systems 98 |
| Author | Panos Markopoulos |
| Series | Eurographics |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Verlag GmbH |
| Year published | 1998-08-10 |
| Number of pages | 326 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |