@inbook {IOPORT.05805302,
    author       = {Jackson, Michael},
    title        = {The operational principle and problem frames.},
    year         = {2010},
    booktitle    = {Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare's 75th birthday, Cambridge, UK, April 2009},
    isbn         = {978-1-84882-911-4},
    pages        = {143-165},
    publisher    = {London: Springer},
    doi          = {10.1007/978-1-84882-912-1_7},
    abstract     = {Summary: In the problem frames approach to software development as its name indicates analysis of the problem precedes construction of the solution. The problem analysis rests on certain ideas of structure and simplicity, including a general recommendation that composition should be postponed until the parts to be composed are well understood in their preliminary isolated forms. These ideas are discussed in the light of Michael Polanyi's notion of the operational principle of a machine or contrivance, and his account of the relationship between scientific knowledge and understanding of machines. Criteria are suggested for simplicity in problem decomposition. The outline structure of the associated development approach is sketched, and the relationship between formal development methods and problem structuring is clarified.},
    identifier   = {05805302},
}