Land of Po Homepage CAITLIN project homepage Sitemap Search the web Feedback School of Informatics homepage Eat the word homepage Staff List Northumbria University Homepage Page banner with picture hotspots to: Feedback, Guest book, Site Map, Search, Caitlin, Eat the Word, School of Informatics, Northumbria University, & Dilbert

 

Go to

Home
Up one level
Summary
Package Router
Heuristics

Dilbert link icon

 

Problem Frames

The notion of problem frames is an interesting development in software engineering thinking. We started this topic in week 6 (see the slides) and continued it in week 7 (see the slides). There is much information on this topic (albeit most of it written by Michael Jackson). Below are some pointers to some of this material. The links on the left provide pointers to some of the main points (abstracted from the references below).

For some high-level coverage, look at Jackson's book on Software Requirements and Specifications.

For good overview with some deeper technical detail, you should go directly to the source, Michael Jackson and visit his web site. Two of his papers in particular are of interest here, and he has given his kind permission to make them available for download in PDF format from this site:

Problem Analysis and Structure; Unpublished, September 1999 which can be . This is a gentle coverage.

Download PDF file  here

Slightly more ambitious (but still manageable) is Problem Analysis Using Small Problem Frames; Proceedings of WOFACS ’98, Special Issue of the South African Computer Journal, 22, pp47-60, March 1999

Download the PDF here

A third paper: Problem Decomposition for Reuse; Software Engineering Journal Volume 11 Number 1 pages 19-30, January 1996 by Michael Jackson and Daniel Jackson takes another look at the Package Router problem found in the papers above but this time using problem frames to derive a formal Z specification. 

Download the PDF file here

Dr Keith Phalp has published a case study on applying problem frames: Picking the Right Problem Frame - An Empirical Study, Empirical Software Engineering Journal, volume 5, number 3, November 2000, pages 215-228

Finally, for a really thorough coverage Jackson has published a whole book on the subject (see the book list).