CERTIFYING THE RELIABILITY OF SOFTWARE

被引：50

作者：

CURRIT, PA ^{[1
]}

DYER, M ^{[1
]}

MILLS, HD ^{[1
]}

机构：

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

来源：

关键词：

D O I：

10.1109/TSE.1986.6312914

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：3 / 11

页数：9

共 50 条

[1] CERTIFYING THE RELIABILITY OF SOFTWARE.
Currit, P.Allen
Dyer, Michael
Mills, Harlan D.
IEEE Transactions on Software Engineering, 1986, SE-12 (01) : 3 - 11
[2] PLANNING AND CERTIFYING SOFTWARE SYSTEM RELIABILITY
POORE, JH
MILLS, HD
MUTCHLER, D
IEEE SOFTWARE, 1993, 10 (01) : 88 - 99
[3] A BBN approach to certifying the reliability of COTS software systems
Yu, YY
Johnson, BW
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2003 PROCEEDINGS, 2003, : 19 - 24
[4] CERTIFYING SOFTWARE
BOYNTON, S
CIVIL ENGINEERING, 1986, 56 (07): : 28 - 28
[5] CERTIFYING SOFTWARE
TURK, AR
CIVIL ENGINEERING, 1985, 55 (10): : 32 - 32
[6] CERTIFYING SOFTWARE
MINAEV, YN
MEASUREMENT TECHNIQUES USSR, 1985, 28 (02): : 121 - 123
[7] Certifying high assurance software
Voas, J
TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 99 - 104
[8] Training and certifying software maintainers
Sneed, Hany M.
Opferkuch, Stefan
CSMR 2008: 12TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING: DEVELOPING EVOLVABLE SYSTEMS, 2008, : 113 - +
[9] Certifying software component attributes
Baegh, J
IEEE SOFTWARE, 2006, 23 (03) : 74 - +
[10] RELIABILITY OF THE ORAL CERTIFYING EXAMINATION FOR NEUROLOGISTS
STOLZBERG, S
NEUROLOGY, 1980, 30 (09) : 1019 - 1020