Reuse, OOP, and safety critical software

被引：0
|
作者：
Riehle, R
机构：
来源：
JOURNAL OF OBJECT-ORIENTED PROGRAMMING | 1997年 / 10卷 / 07期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：21 / 24
页数：4
相关论文
共 50 条
  • [21] Verification of Safety-Critical Software
    Andersen, B. Scott
    Romanski, George
    COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
  • [22] Techniques for safety critical software development
    Kiper, JD
    Tomayko, JE
    PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL III: EMERGING TECHNOLOGIES TRACK, 1998, : 336 - 337
  • [23] The quantitative safety assessment for safety-critical software
    Yu, YY
    Johnson, BW
    29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
  • [24] SAFETY-CRITICAL SOFTWARE - A VIGNETTE
    MCDERMID, J
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (01): : 2 - 3
  • [25] Mandate safety-critical software
    Frisina, J
    COMMUNICATIONS OF THE ACM, 2004, 47 (01) : 12 - 12
  • [26] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [27] Safety critical software in nuclear power
    Welbourne, D
    GEC JOURNAL OF TECHNOLOGY, 1997, 14 (01): : 33 - 40
  • [28] Perspectives on safety-critical software
    Bhansali, PV
    AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 108 - 109
  • [29] Changing safety-critical software
    Rierson, LK
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2001, 16 (06) : 25 - 30
  • [30] Assessment and certification of safety critical software
    El Koursi, EM
    Mariano, G
    ROBOTICS, AUTOMATION AND CONTROL AND MANUFACTURING: TRENDS, PRINCIPLES AND APPLICATIONS, 2002, 14 : 51 - 57
12345