From Problem Frames to HJJ (and its known unknowns)
Cliff B. Jones · School of Computing Science Technical Report Series · 2009
This paper traces the evolving ideas of an approach to “open that interact with the physical world. Such systems nowadays almost always include computers. The design in the simplest cases has a control computer connected to sensors that receiv e information about the physical world and to actuators that can cause some aspects of that world to change. Jackson's \Problem Frame Approach is to think about the computer system with respect to the requirement of the desired overall system behaviour; the “Hayes/Jackson/Jones (HJJ) approach introduces sufficient formalism to support the derivation of the specification of the computer con trol system.