Optimization of Requirements Engineering Analysis for Substitute Sets of Functional Necessities

Abstract

Software Cost Reduction (SCR) (Heitmeyer 2002) is a collection of techniques that were designed to encourage software developers to employ good software engineering design principles. An SCR specification models software requirements as a mathematical function, requirements that maps monitored variables, which are environmental variables that are sensed by the system, to controlled variables, which are environmental variables that are set by the system. The function REQ is decomposed into a collection of tabular functions, similar to Parnas Tables. Each of these functions is responsible for setting the value of one controlled variable or the value of a term, which is a macro-like variable that is referred to in other functions’ definitions.