SOFTWARE SAFETY - WHY, WHAT, AND HOW

被引:83
作者
LEVESON, NG
机构
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 [计算机软件与理论];
摘要
引用
收藏
页码:125 / 163
页数:39
相关论文
共 147 条
[1]
ALFORD M, 1985, COMPUTER, V18, P36, DOI 10.1109/MC.1985.1662863
[2]
ALFORD M, 1982, 2ND P INT WORKSH SAF
[3]
Anderson T., 1978, BIT (Nordisk Tidskrift for Informationsbehandling), V18, P1, DOI 10.1007/BF01947739
[4]
ANDREWS B, 1979, 9TH P INT S FAULT TO, P102
[5]
Arlat J., 1985, Fifteenth Annual International Symposium on Fault-Tolerant Computing FTCS 15. Digest of Papers. (Cat. No. 85CH2143-6), P318
[6]
THE N-VERSION APPROACH TO FAULT-TOLERANT SOFTWARE [J].
AVIZIENIS, A .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (12) :1491-1501
[7]
BASSEN H, 1985, 7TH P ANN C IEEE ENG, P180
[8]
BOEBERT WE, 1980, ACM SOFTW ENG NOTES, V5, P41
[9]
Boehm B. W., 1975, IEEE Transactions on Software Engineering, VSE-1, P125, DOI 10.1109/TSE.1975.6312826
[10]
BOLOGNA S, 1979, P INT WORKSHOP SAFET, P103