Perspectives on safety-critical software

被引：0

|

作者：

Bhansali, PV

机构：

来源：

AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS | 1997年

关键词：

D O I：

10.1109/ASWEC.1997.623760

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：108 / 109

页数：2

相关论文

共 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] Verification of Safety-Critical Software
Andersen, B. Scott
Romanski, George
COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
[8] Testing safety-critical software
Nikolaropoulos, E
HEWLETT-PACKARD JOURNAL, 1997, 48 (03): : 89 - 94
[9] EVALUATION OF SAFETY-CRITICAL SOFTWARE
PARNAS, DL
VANSCHOUWEN, AJ
KWAN, SP
COMMUNICATIONS OF THE ACM, 1990, 33 (06) : 636 - 648
[10] Software tools for safety-critical software development
Alan Wassyng
Mark Lawford
International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 337 - 354

← 1 2 3 4 5 →