zbMATH — the first resource for mathematics

Problem analysis and structure. (English) Zbl 0989.68013
Hoare, Tony (ed.) et al., Engineering theories of software construction. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 25 - August 6, 2000. Amsterdam: IOS Press. NATO Sci. Ser. III, Comput. Syst. Sci. 180, 3-20 (2001).
Summary: An approach to problem analysis is presented in which problems are decomposed into subproblems of recognized classes. These classes can be captured by problem frames, which identify domain structures and interfaces in the problem world; domains themselves can be classified into lexical, causal and biddable domains. Each problem frame has a basic associated frame concern that must be addressed in analyzing the problem. Additional concerns arise from more general considerations, including the characteristics of the problem domains and the composition relationships among the subproblems.
For the entire collection see [Zbl 0972.00060].
68N01 General topics in the theory of software