DMCA
Problem-oriented software engineering (2006)
| Citations: | 150 - 12 self |
BibTeX
@MISC{Hall06problem-orientedsoftware,
author = {Jon G Hall and Lucia Rapanotti and Michael Jackson},
title = { Problem-oriented software engineering},
year = {2006}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper introduces a formal conceptual framework for software development, based on a problem-oriented perspective that stretches from requirements engineering through to program code. In a software problem the goal is to develop a machine—that is, a computer executing the software to be developed—that will ensure satisfaction of the requirement in the problem world. We regard development steps as transformations by which problems are moved towards software solutions. Adequacy arguments are built as problem transformations are applied: adequacy arguments both justify proposed development steps and establish traceability relationships between problems and solutions. The framework takes the form of a sequent calculus. Although itself formal, it can accommodate both formal and informal steps in development. A number of transformations are presented, and illustrated by application to small examples.
Keyphrases
problem-oriented software engineering development step adequacy argument software development traceability relationship small example program code requirement engineering towards software solution software problem formal conceptual framework problem-oriented perspective informal step problem world problem transformation sequent calculus
