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 条
  • [41] Seven principles in software engineering
    Wei, H.C.
    Xi'an Shiyou Xueyuan Xuebao/Journal of Xi'an Petroleum Institute (Natural Science Edition), 2001, 16 (02):
  • [42] SOFTWARE ENGINEERING PRINCIPLES.
    Parnas, David Lorge
    INFOR Journal, 1984, 22 (04): : 303 - 316
  • [43] Principles for the Formalization of Software Engineering
    Bolanos Castro, Sandro Javier
    Medina Garcia, Victor Hugo
    Joyanes Aguilar, Luis
    INGENIERIA, 2009, 14 (01): : 31 - 37
  • [44] Principles of Software Engineering and Their Applications
    Huang Ruihua
    PROGRESS IN CIVIL ENGINEERING, PTS 1-4, 2012, 170-173 : 3468 - 3471
  • [45] Goals and Principles of Software Engineering
    Zhu, Xiaogang
    Zhao, Huaiming
    APPLIED ECONOMICS, BUSINESS AND DEVELOPMENT, 2011, 208 : 170 - +
  • [46] Agile Principles as Software Engineering Principles: An Analysis
    Seguin, Normand
    Tremblay, Guy
    Bagane, Houda
    AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING, XP 2012, 2012, 111 : 1 - 15
  • [47] Graduate Curricula in Software Engineering and Software Assurance: Need and Recommendations
    Hilburn, T. B.
    Kornecki, A. J.
    ELEKTRONIKA IR ELEKTROTECHNIKA, 2010, (06) : 67 - 70
  • [48] Six Software Engineering Principles for Smarter Cyber-Physical Systems
    Weyns, Danny
    Bures, Tomas
    Calinescu, Radu
    Craggs, Barnaby
    Fitzgerald, John
    Garlan, David
    Nuseibeh, Bashar
    Pasquale, Liliana
    Rashid, Awais
    Ruchkin, Ivan
    Schmerl, Bradley
    2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2021), 2021, : 198 - 203
  • [49] Galios: High assurance software
    Launchbury, J
    ACM SIGPLAN NOTICES, 2004, 39 (09) : 3 - 3
  • [50] ICSE 2003 workshop on software engineering for high assurance systems: Synergies between process, product, and profiling (SEHAS 2003)
    Feather, MS
    Nikora, AP
    Heitmeyer, CL
    Mead, NR
    25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 787 - 788
12345