A MANAGEMENT TOOL FOR EVALUATION OF SOFTWARE DESIGNS

被引：8

作者：

CARDENASGARCIA, S

ZELKOWITZ, MV

机构：

[1] UNIV MARYLAND,DEPT COMP SCI,COLLEGE PK,MD 20742

[2] UNIV MARYLAND,INST ADV COMP STUDIES,COLLEGE PK,MD 20742

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1991年 / 17卷 / 09期

关键词：

CORRECTNESS; DECISION SUPPORT SYSTEMS; DESIGN EVALUATION; PROTOTYPING; RISK ANALYSIS; SOFTWARE REUSE;

D O I：

10.1109/32.92916

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：961 / 971

页数：11

共 8 条

[1] Boehm B. W, 1981, SOFTWARE ENG EC
[2] CARDENAS S, 1990, 12TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, P26, DOI 10.1109/ICSE.1990.63600
[3] CARDENASGARCIA S, 1991, 9199 U MAR DEP COMP
[4] CARDENASGARCIA SR, 1991, THESIS U MARYLAND CO
[5] CHARETTE RN, 1989, SOFTWARE ENG RISK AN
[6] MILLS H, 1987, PRINCIPLES COMPUTER
[7] SVOBODOVA L, 1984, ACM COMPUTING SURVEY, V16
[8] A FUNCTIONAL CORRECTNESS MODEL OF PROGRAM VERIFICATION
ZELKOWITZ, MV
[J]. COMPUTER, 1990, 23 (11) : 30 - 39

← 1 →