DOI: 10.1049/ic:20040224 ISBN: 0 86341 419 2 Location: Edinburgh, UK Conference date: 24 May 2004 Format: PDF Part of the current research work of the Open University is to explore the semantics of problem frames. The motivation to develop the semantics is shared with many graphical notations - a formal semantics contributes to a solution. As by JG Hall et al. (2003) problem frame manipulations (e.g., problem representation, transformation, decomposition and recomposition) supported by the semantics can be regarded as a formal refinement from the problem towards the specification. Therefore, the semantics of problem frames can be applied to underpin software development problems. This position paper presents a case study demonstrating a semantic view to formalise the representation of software development problems, and reasoning about their decomposition in the problem frames framework. We conclude with a proposed program of research through which the problem frame semantics can be developed. Inspec keywords: systems analysis; software development management; formal specification; reasoning about programs Subjects: Formal methods; Software engineering techniques; Software management
Discussion(0)
No comments yet. Be the first to comment.