The Operational Principle and Problem Frames

In the problem frames approach to software development as its name indicates analysis of theproblem precedes construction of thesolution. The problem analysis rests on certain ideas of structure and simplicity, including a general recommendation that composition should be postponed until the parts t...

Full description

Saved in:
Bibliographic Details
Published inReflections on the Work of C.A.R. Hoare pp. 143 - 165
Main Author Jackson, Michael
Format Book Chapter
LanguageEnglish
Published London Springer London 21.07.2010
Subjects
Online AccessGet full text
ISBN1848829116
9781848829114
DOI10.1007/978-1-84882-912-1_7

Cover

More Information
Summary:In the problem frames approach to software development as its name indicates analysis of theproblem precedes construction of thesolution. 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 theoperational principle of a machine orcontrivance, 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.
ISBN:1848829116
9781848829114
DOI:10.1007/978-1-84882-912-1_7