CERTIFYING THE RELIABILITY OF SOFTWARE

被引：50

作者：

CURRIT, PA ^{[1
]}

DYER, M ^{[1
]}

MILLS, HD ^{[1
]}

机构：

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

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1986年 / 12卷 / 01期

关键词：

D O I：

10.1109/TSE.1986.6312914

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：3 / 11

页数：9

相关论文

共 16 条

[1]

ADAMS EN, 1980, IBM RC8228 RES DIV R

[2]

DURAN JW, 1980, 83 U TEX TECH REP

[3]

DURAN JW, 1980, IEEE T REL, V29

[4]

DYER M, 1980, IBM SYST J, V19

[5]

IANNINO A, 1984, IEEE T SOFTWARE ENG, V10

[6]

JELINSKI Z, 1972, STATISTICAL COMPUTER

[7]

LINGER RC, 1979, STRUCTURED PROGRAMMI

[8]

LITTLEWOOD B, 1973, APPL STATIST, V22

[9]

LITTLEWOOD B, 1981, IEEE T REL, V30

[10]

LITTLEWOOD B, 1978, 3RD P INT C SOFTW EN