File servers for network-based distributed systems
ACM Computing Surveys (CSUR)
Software engineering risk analysis and management
Software engineering risk analysis and management
Evaluation criteria for functional specifications
ICSE '90 Proceedings of the 12th international conference on Software engineering
A formal framework for evaluating multiattribute software specifications
A formal framework for evaluating multiattribute software specifications
Software Engineering Economics
Software Engineering Economics
Complexity Measure Evaluation and Selection
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
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.