A Management Tool For Evaluation of Software Designs.

The development of quality software depends upon making appropriate decisions at every stage of the life cycle. Given a design, many techniques have been developed to produce quality code from that design. However, ignored so far have been formal models to help the software manager to make appropriate implementation decisions. A model for evaluating software designs has been proposed and is based upon extending the functional model of program verification with concepts from economic decision theory. This paper briefly describes the method, and describes a prototype implementation of a tool, called Selector, which implements this technique. [ABSTRACT FROM AUTHOR]