Browse by author
Lookup NU author(s): Professor Cliff JonesORCiD
This paper traces the evolving ideas of an approach to “open systems" 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 receive 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 control system. This is a pre-publication version of a paper top be printed in a Festschrift in honour of Michael Jackson. The talk was given at the related event held at ICSE in Vancouver in May 2009. Please cite the final publication (editors Bashar Nuseibeh and Pamela Zave)
Author(s): Jones CB
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2009
Pages: 15
Print publication date: 01/08/2009
Source Publication Date: August 2009
Report Number: 1163
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1163.pdf
