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

Software Engineering with OBJ: Algebraic Specification in Action is 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...

Software Engineering with OBJ: Algebraic Specification in Action is 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...