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 条
  • [21] Synergy of technical specifications, functional specifications and scenarios in requirements specifications
    Miedema, J.
    van der Voort, M. C.
    Lutters, D.
    van Houten, F. J. A. M.
    FUTURE OF PRODUCT DEVELOPMENT, 2007, : 235 - +
  • [22] Executable requirements and specifications
    Anderson, AH
    Shaw, GA
    JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1997, 15 (1-2): : 49 - 61
  • [23] ANIMATION OF REQUIREMENTS SPECIFICATIONS
    KRAMER, J
    NG, K
    SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (08): : 749 - 774
  • [24] From requirements to specifications
    Plock, C
    Goldberg, B
    Zuck, L
    12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings, 2005, : 183 - 190
  • [25] Restructuring requirements specifications
    Russo, A.
    Nuseibeh, B.
    Kramer, J.
    IEE Proceedings: Software, 1999, 146 (01): : 44 - 53
  • [26] Testable requirements and specifications
    Ostroff, Jonathan S.
    Torshizi, Faraz Ahmadi
    TESTS AND PROOFS, 2007, 4454 : 17 - +
  • [27] Executable Requirements and Specifications
    Allan H. Anderson
    Gary A. Shaw
    Journal of VLSI signal processing systems for signal, image and video technology, 1997, 15 : 49 - 61
  • [28] Portable infusion pumps for chemotherapy: technical and practical requirements specifications for a safety use
    Hochart, Caroline
    Hassani, Lamia
    Orven, Yann
    Bellanger, Agnes
    Farinotti, Robert
    PHARMACY WORLD & SCIENCE, 2010, 32 (02): : 252 - 253
  • [29] An Analysis of the Features of Requirements Engineering Tools
    Ozkaya, Mert
    Kardas, Geylani
    Kose, Mehmet Alp
    SYSTEMS, 2023, 11 (12):
  • [30] Requirements for tools in psychological work analysis
    Dunckel, H
    QUALITY OF WORK AND PRODUCTS IN ENTERPRISES OF THE FUTURE, 2003, : 745 - 746
12345