Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and tools
Formal Engineering Methods, International Conference on (1997)
Nov. 12, 1997 to Nov. 14, 1997
We attempt formal characterisations of M.A. Jackson's (1995) concept of problem frames-and illustrate the translation (JSP), control, information systems, connection and workpiece frames. The paper is based on the following definition of method: A set of principles for selecting and applying techniques and tools in order to efficiently develop an efficient (here software) artifact. Most "formal methods" fail this definition-and we wish to show how formal design calculi can fit into the above definition. The paper is also based on the tri-partite separation of concern wherein software development is seen as having three intertwined "stages/activities" : Domain analysis and theory construction, in which formal models of the application domain-without any reference to computing-"precedes" requirements capture which again "precedes" software design.
formal specification; Michael Jackson's problem frames; methodological principles; formal software development techniques; problem frames; formal design calculi; tri-partite separation; software development
R. Noussi, G. Satchok, D. Bjoner and S. Koussoube, "Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and tools," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 263.