The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1991 vol.17)
pp: 961-971
ABSTRACT
<p>A model for evaluating software designs based on extending the functional model of program verification with concepts from economic decision theory has been proposed. The authors describe the method, and discuss a prototype implementation of a tool, called Selector, which implements this technique. It is suggested that a system like Selector can be used in two ways: as a decision support system for management to be used in the process of making choices among various alternatives; and as a prototyping investigative system for proposing and answering a series of 'what if' scenarios. The proposed model depends on a risk analysis, of each potential solution and aspects of decision theory to modify the evaluation strategy. The model depends on equilibrium probabilities for generating answers.</p>
INDEX TERMS
management tool; software designs; functional model; program verification; economic decision theory; Selector; decision support system; prototyping investigative system; risk analysis; evaluation strategy; equilibrium probabilities; decision support systems; program verification; software prototyping; software tools
CITATION
S. Cardenas-Garcia, M.V. Zelkowitz, "A Management Tool for Evaluation of Software Design", IEEE Transactions on Software Engineering, vol.17, no. 9, pp. 961-971, September 1991, doi:10.1109/32.92916
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool