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
12