This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Management Tool for Evaluation of Software Design
September 1991 (vol. 17 no. 9)
pp. 961-971

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.

[1] B. W. Boehm,Software Engineering Economics. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[2] S. Cárdenas-García and M. V. Zelkowitz, "Evaluation criteria for functional specifications," inProc. 12th IEEE/ACM Int. Conf. Software Eng.(Nice, France), 1990, pp. 26-33.
[3] S. Cárdenas-García, "A formal framework for evaluation of multiattribute specifications," Ph.D. dissert., Dept. Computer Sci., Univ. Maryland, College Park, 1991 (Dept. Computer Sci., Univ. Maryland, College Park, Tech. Rep. 91-99, 1991).
[4] R. Charette,Software Engineering Risk Analysis and Management. New York: McGraw-Hill, 1989.
[5] H. Mills, V. Basili, J. Gannon, and R. Hamlet,Principles of Computer Programming: A Mathematical Approach. Newton, MA: Allyn and Bacon, 1987.
[6] L. Svobodova, "File servers for network-based distributed systems,"ACM Computing Surveys, vol. 16, no. 4, 1984.
[7] M. V. Zelkowitz, "A functional model of program verification,"IEEE Comput., vol. 23, pp. 30-39, Nov. 1990.

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, Sept. 1991, doi:10.1109/32.92916
Usage of this product signifies your acceptance of the Terms of Use.