Grant Malcolm - Böcker

The value of multi-disciplinary research lies in the exchange of ideas and methods across the traditional boundaries between areas of study. It could be argued that many of the advances in science and engineering take place because the ideas, methods and the tools of thought from one discipline become re-applied in another.The topic of "the visual" has become increasingly important as advances in technology have led to multi-media and multi-modal representations, and extended the range and scope of visual representation and interpretation in our lives. Under this broad heading there are many different perspectives and approaches, from across the entire spectrum of human knolwedge and activity.The editors and authors of this book aim to break down cross-disciplinary barriers, by bringing together people working in a wide variety of disciplines where visual representations and interpretations are exploited. Contributions come from researchers actively investigating visual representations and interpretations in a wide variety of areas, including art history, biology, clinical science, cognitive science, computer science, design, engineering, linguistics, mathematics, philosophy, physics, psychology, and sociology.The book provides a forum for wide-ranging and multi-disciplinary contributions on visual representations and interpretations.* Contributors include researchers actively investigating visual representations and interpretations* Content spans a wide variety of areas including but not limited to biology, sociology, and computer science* Discusses how new technology has affected "the visual" representation of information

This text provides a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, the book provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process.The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way.