Toward dependable safety-critical software

被引：5

作者：

Bastani, F ^{[1
]}

Cukic, B ^{[1
]}

Hilford, V ^{[1
]}

Jamoussi, A ^{[1
]}

机构：

[1] UNIV HOUSTON,DEPT COMP SCI,HOUSTON,TX 77204

来源：

关键词：

D O I：

10.1109/WORDS.1996.506265

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：86 / 92

页数：7

共 50 条

[1] Safety-critical software
1600, IEEE Computer Society (30):
[2] Safety-Critical Software
Merino, Pedro
Schoitsch, Erwin
ERCIM NEWS, 2008, (75): : 12 - 13
[3] SAFETY-CRITICAL SOFTWARE
PANCUCCI, D
ENGINEERING, 1991, 231 (08): : 45 - 47
[4] SAFETY-CRITICAL SOFTWARE - A VIGNETTE
MCDERMID, J
SOFTWARE ENGINEERING JOURNAL, 1993, 8 (01): : 2 - 3
[5] Mandate safety-critical software
Frisina, J
COMMUNICATIONS OF THE ACM, 2004, 47 (01) : 12 - 12
[6] Changing safety-critical software
Rierson, LK
IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2001, 16 (06) : 25 - 30
[7] Perspectives on safety-critical software
Bhansali, PV
AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 108 - 109
[8] Verification of Safety-Critical Software
Andersen, B. Scott
Romanski, George
COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
[9] Testing safety-critical software
Nikolaropoulos, E
HEWLETT-PACKARD JOURNAL, 1997, 48 (03): : 89 - 94
[10] EVALUATION OF SAFETY-CRITICAL SOFTWARE
PARNAS, DL
VANSCHOUWEN, AJ
KWAN, SP
COMMUNICATIONS OF THE ACM, 1990, 33 (06) : 636 - 648