The Open UniversitySkip to content
 

Problem Reduction: a systematic technique for deriving Specifications from Requirements

Rapanotti, Lucia; Hall, Jon and Li, Zhi (2006). Problem Reduction: a systematic technique for deriving Specifications from Requirements. IEE Proceedings: Software, 153(5) pp. 183–198.

Google Scholar: Look up in Google Scholar

Abstract

Software problems – problems whose solution is software-intensive – come in many forms. Given that software and computers are deeply embedded in society, one general characteristic of software problems is that their
early requirements are expressed “deep into the world”, i.e., in terms that end-users and other stake-holders would recognise and understand. The developer is left with the difficult task of interpreting such requirements closer to the software solution.
In this paper, we introduce problem reduction, a systematic transformation from requirements to specifications by which a software problem with requirements deep in the world becomes a simpler software problem with the same solution. Problem reduction helps the developer because the simpler problem has requirements that are ‘closer to the machine’, i.e., closer to specification. Indeed, repeated application of problem reduction can lead directly to a software specification in certain cases. We reflect on how problem reduction captures certain requirements engineering practices, and provide a set of rules for its application.

Item Type: Journal Article
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 3308
Depositing User: Lucia Rapanotti
Date Deposited: 22 Feb 2008
Last Modified: 02 Dec 2010 19:49
URI: http://oro.open.ac.uk/id/eprint/3308
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk