@article {18362,
	title = {A management tool for evaluation of software design},
	journal = {Software Engineering, IEEE Transactions on},
	volume = {17},
	year = {1991},
	month = {1991/09//},
	pages = {961 - 971},
	abstract = {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 {\textquoteleft}what if{\textquoteright} 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},
	keywords = {analysis;software, decision, designs;decision, investigative, model;management, probabilities;evaluation, prototyping;software, Selector;decision, strategy;functional, Support, system;economic, system;risk, systems;program, theory;equilibrium, tool;program, tools;, verification;prototyping, verification;software},
	isbn = {0098-5589},
	doi = {10.1109/32.92916},
	author = {Cardenas-Garcia,S. and Zelkowitz, Marvin V}
}
