The Community for Technology Leaders
Green Image
<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>
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
M.V. Zelkowitz, S. Cardenas-Garcia, "A Management Tool for Evaluation of Software Design", IEEE Transactions on Software Engineering, vol. 17, no. , pp. 961-971, September 1991, doi:10.1109/32.92916
94 ms
(Ver 3.3 (11022016))