SAFETY-CRITICAL SOFTWARE - A VIGNETTE

被引：0

|

作者：

MCDERMID, J

机构：

[1] UNIV YORK,DEPT COMP SCI,YORK YO1 5DD,N YORKSHIRE,ENGLAND

[2] YORK SOFTWARE ENGN LTD,YORK,ENGLAND

来源：

SOFTWARE ENGINEERING JOURNAL | 1993年 / 8卷 / 01期

关键词：

D O I：

10.1049/sej.1993.0001

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：2 / 3

页数：2

相关论文

共 50 条

[1] Safety-Critical Software
Merino, Pedro
Schoitsch, Erwin
ERCIM NEWS, 2008, (75): : 12 - 13
[2] Safety-critical software
1600, IEEE Computer Society (30):
[3] SAFETY-CRITICAL SOFTWARE
PANCUCCI, D
ENGINEERING, 1991, 231 (08): : 45 - 47
[4] Perspectives on safety-critical software
Bhansali, PV
AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 108 - 109
[5] Changing safety-critical software
Rierson, LK
IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2001, 16 (06) : 25 - 30
[6] Mandate safety-critical software
Frisina, J
COMMUNICATIONS OF THE ACM, 2004, 47 (01) : 12 - 12
[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 →