Safety analysis tools for requirements specifications

被引：0
|
作者：
Ratan, V [1 ]
Partridge, K [1 ]
Reese, J [1 ]
Leveson, N [1 ]
机构：
[1] UNIV WASHINGTON,DEPT COMP SCI & ENGN,SEATTLE,WA 98195
来源：
COMPASS '96 - PROCEEDINGS OF THE ELEVENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY, PROCESS SECURITY | 1996年
关键词：
software engineering; software safety; hazard analysis; fault tree;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：149 / 160
页数：12
相关论文
共 50 条
  • [1] Integrated safety analysis of requirements specifications
    F. Modugno
    N. G. Leveson
    J. D. Reese
    K. Partridge
    S. D. Sandys
    Requirements Engineering, 1997, 2 (2) : 65 - 78
  • [2] Integrated safety analysis of requirements specifications
    Modugno, F
    Leveson, NG
    Reese, JD
    Partridge, K
    Sandys, SD
    RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 148 - 159
  • [3] A subjective methodology for safety analysis of safety requirements specifications
    Wang, J
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 1997, 5 (03) : 418 - 430
  • [4] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
    SAEED, A
    DELEMOS, R
    ANDERSON, T
    ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
  • [5] Requirements for tools for ambiguity identification and measurement in natural language requirements specifications
    Nadzeya Kiyavitskaya
    Nicola Zeni
    Luisa Mich
    Daniel M. Berry
    Requirements Engineering, 2008, 13 : 207 - 239
  • [6] Requirements for tools for ambiguity identification and measurement in natural language requirements specifications
    Kiyavitskaya, Nadzeya
    Zeni, Nicola
    Mich, Luisa
    Berry, Daniel M.
    REQUIREMENTS ENGINEERING, 2008, 13 (03) : 207 - 239
  • [7] INTERNATIONAL LEGAL REQUIREMENTS SAFETY AND OPERATING SPECIFICATIONS
    SCHMIDT, WK
    SAE TRANSACTIONS, 1966, 74 : 121 - &
  • [8] Tools for constructing requirements specifications: The SCR toolset at the age of ten
    Heitmeyer, C
    Archer, M
    Bharadwaj, R
    Jeffords, R
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2005, 20 (01): : 19 - 35
  • [9] Tools for constructing requirements specifications: The SCR toolset at the age of ten
    Heitmeyer, C. (heitmeyer@itd.nrl.navy.mil), 2005, CRL Publishing (20):
  • [10] Using Tools to Assist Identification of Non-requirements in Requirements Specifications - A Controlled Experiment
    Winkler, Jonas Paul
    Vogelsang, Andreas
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY (REFSQ 2018), 2018, 10753 : 57 - 71
12345