A formal specifications maturity model

被引：14

作者：

Fraser, MD

Vaishnavi, VK

机构：

来源：

COMMUNICATIONS OF THE ACM | 1997年 / 40卷 / 12期

关键词：

D O I：

10.1145/265563.265577

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The strength of this model is its automatic feedback on how to attain the next maturity level.

引用

页码：95 / 103

页数：9

共 12 条

[1]

Bowen J., 1993, Proceedings 1993 Software Engineering Standards Symposium (Cat. No.93TH0568-6), P168, DOI 10.1109/SESS.1993.263953

[2]

BOWEN J, 1993, LNCS, V670, P183

[3]

Bowen J.P., 1995, IEEE COMPUT, V28, P56

[4] STRATEGIES FOR INCORPORATING FORMAL SPECIFICATIONS IN SOFTWARE-DEVELOPMENT [J].

FRASER, MD ;

KUMAR, K ;

VAISHNAVI, VK .

COMMUNICATIONS OF THE ACM, 1994, 37 (10) :74-85

[5]

FRASER MD, 1995, SAFETY RELIABILITY M

[6]

GERHART S, 1994, IEEE SOFTWARE JAN, P30

[7]

GERHART S, 1994, IEEE SOFTWARE JAN, P21

[8]

HALL A, 1990, IEEE SOFTWARE SEP, P11

[9] SOFTWARE SAFETY IN EMBEDDED COMPUTER-SYSTEMS [J].

LEVESON, NG .

COMMUNICATIONS OF THE ACM, 1991, 34 (02) :34-46

[10] CAPABILITY MATURITY MODEL, VERSION 1.1 [J].

PAULK, MC ;

CURTIS, B ;

CHRISSIS, MB ;

WEBER, CV .

IEEE SOFTWARE, 1993, 10 (04) :18-27

← 1 2 →