Visualization is now recognized as a powerful approach to get insight in large datasets produced by scientific experimentations and simulations. The contributions to this book cover technical aspects as well as concrete applications of visualization in various domains such as finance, physics, astronomy and medicine, providing researchers and engineers with valuable information for setting up new powerful environments.

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.

A collection of 12 papers discussing common problems in visualization. These include: adaptive and multi-resolution methods; feature extraction; flow visualization; and visualization quality.

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...