Principles of high assurance software engineering for railway/ transportation systems

被引：0

作者：

Kleidermacher, David ^{[1
]}

Kraeling, Mark ^{[2
]}

机构：

[1] Green Hills Software, Inc., Santa Barbara, FL, United States

[2] General Electric (GE) Transportation, Melbourne, FL, United States

来源：

ZEVrail | 2010年 / 134卷 / 1-2期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：50 / 52

共 50 条

[21] High assurance systems engineering - Position paper
Shere, KD
TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 397 - 397
[22] ENGINEERING PRINCIPLES AND SOFTWARE ENGINEERING
BERZTISS, AT
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 640 : 437 - 451
[23] Software Security Assurance of Electrical Grid Systems Relating Mechatronics to Software Security Engineering
Axelrod, C. Warren
2014 INTERNATIONAL ENERGY AND SUSTAINABILITY CONFERENCE (IESC), 2014,
[24] Developing high assurance systems: On the role of software tools
Heitmeyer, C
COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2003, 2788 : 159 - 164
[25] Software engineering principles
McConnell, S
IEEE SOFTWARE, 1999, 16 (02) : 6 - 8
[26] SOFTWARE ENGINEERING PRINCIPLES
PARNAS, DL
INFOR, 1984, 22 (04) : 303 - 316
[27] Special Issue: High Assurance Systems Engineering In this issue
Harrison, Rachel
SOFTWARE QUALITY JOURNAL, 2016, 24 (01) : 1 - 1
[28] The SSP: An example of high-assurance systems engineering
Wickstrom, GL
Davis, J
Morrison, SE
Roach, S
Winter, VL
EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 167 - 177
[29] Ten practical techniques for high assurance systems engineering
Thomas, VT
IEEE HIGH-ASSURANCE SYSTEMS ENGINEERING WORKSHOP, PROCEEDINGS, 1997, : 55 - 56
[30] SPARK - The Libre Language and Toolset for High-Assurance Software Engineering
Jennings, Trevor
SIGADA 2009: PROCEEDINGS OF THE ACM INTERNATIONAL CONFERENCE ON ADA AND RELATED TECHNOLOGIES, 2009, : 9 - 9

← 1 2 3 4 5 →