Howard S. Goodman

Learn More
A new method of writing Haskell programs from Z specifications is proposed, whose use is illustrated elsewhere (Goodman, 1995). This method can be regarded as a kind of 'tool-kit', consisting essentially of three discrete parts: a set of high-level guidelines for the programmer; a framework for handling input/output and state; and a set of lower-level(More)
1. ABSTRACT Five different modelling techniques are used to describe the interface of a multi-modal robotic arm. The techniques are examined in order to determine both what they can and cannot reason about, and what they can explicitly represent in terms of the multi-modal usability aspects of the interface. Analysis of the techniques show that a wide(More)
  • 1