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 条
  • [41] On the construction of specifications from requirements
    Li, Zhi
    Hall, Jon G.
    Rapanotti, Lucia
    14th Workshop on Requirements Engineering, WER 2011, 2011, : 431 - 442
  • [42] WORKADAY SOFTWARE REQUIREMENTS SPECIFICATIONS
    POSTON, RM
    IEEE SOFTWARE, 1985, 2 (05) : 63 - 65
  • [43] On the systematic transformation of requirements to specifications
    Li, Zhi
    Hall, Jon G.
    Rapanotti, Lucia
    REQUIREMENTS ENGINEERING, 2014, 19 (04) : 397 - 419
  • [44] A reference model for requirements and specifications
    Gunter, CA
    Gunter, EL
    Jackson, M
    Zave, P
    IEEE SOFTWARE, 2000, 17 (03) : 37 - +
  • [45] Formal specifications of user requirements
    Clark R.G.
    Moreira A.M.D.
    Automated Software Engineering, 1999, 6 (3) : 217 - 232
  • [46] AMPLIFIERS - A LOOK AT REQUIREMENTS AND SPECIFICATIONS
    TILLETT, GW
    AUDIO, 1971, 55 (04): : 32 - &
  • [47] Method for verifying system requirement specifications based on train control system safety requirements
    Iwata, Koji
    Quarterly Report of RTRI (Railway Technical Research Institute), 2013, 54 (02) : 91 - 96
  • [48] Measuring inconsistency in requirements specifications
    Mu, KD
    Jin, Z
    Lu, RQ
    Liu, WR
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 440 - 451
  • [49] On the systematic transformation of requirements to specifications
    Zhi Li
    Jon G. Hall
    Lucia Rapanotti
    Requirements Engineering, 2014, 19 : 397 - 419
  • [50] THE GROWING HIP - SPECIFICATIONS AND REQUIREMENTS
    DIMEGLIO, A
    KAELIN, A
    BONNEL, F
    DEROSA, V
    COUTURE, A
    JOURNAL OF PEDIATRIC ORTHOPAEDICS-PART B, 1994, 3 (02): : 135 - 147
12345