Safety Analysis for Requirements Specifications: Methods and Techniques

Safe Comp 95 ◽

10.1007/978-1-4471-3054-3_3 ◽

1995 ◽

pp. 27-41 ◽

Cited By ~ 3

Author(s):

Amer Saeed ◽

Rogério de Lemos ◽

Tom Anderson

Keyword(s):

Safety Analysis ◽

Requirements Specifications ◽

Methods And Techniques

Download Full-text

Integrated safety analysis of requirements specifications

Requirements Engineering ◽

10.1007/bf02813026 ◽

1997 ◽

Vol 2 (2) ◽

pp. 65-78 ◽

Cited By ~ 9

Author(s):

F. Modugno ◽

N. G. Leveson ◽

J. D. Reese ◽

K. Partridge ◽

S. D. Sandys

Keyword(s):

Safety Analysis ◽

Requirements Specifications

Download Full-text

Integrated safety analysis of requirements specifications

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566862 ◽

2002 ◽

Cited By ~ 8

Author(s):

F. Modugno ◽

N.G. Leveson ◽

J.D. Reese ◽

K. Partridge ◽

S.D. Sandys

Keyword(s):

Safety Analysis ◽

Requirements Specifications

Download Full-text

Safety Analysis Methods and Techniques

Series on Industrial and Systems Engineering - Engineering Safety ◽

10.1142/9789812795441_0005 ◽

2003 ◽

pp. 77-94

Keyword(s):

Safety Analysis ◽

Analysis Methods ◽

Methods And Techniques

Download Full-text

A subjective methodology for safety analysis of safety requirements specifications

IEEE Transactions on Fuzzy Systems ◽

10.1109/91.618277 ◽

1997 ◽

Vol 5 (3) ◽

pp. 418-430 ◽

Cited By ~ 57

Author(s):

J. Wang

Keyword(s):

Safety Analysis ◽

Safety Requirements ◽

Requirements Specifications

Download Full-text

Safety analysis tools for requirements specifications

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507883 ◽

2002 ◽

Cited By ~ 2

Author(s):

V. Ratan ◽

K. Partridge ◽

J. Reese ◽

N. Leveson

Keyword(s):

Safety Analysis ◽

Requirements Specifications ◽

Analysis Tools

Download Full-text

On the safety analysis of requirements specifications for safety-critical software

ISA Transactions ◽

10.1016/0019-0578(95)00019-v ◽

1995 ◽

Vol 34 (3) ◽

pp. 283-295 ◽

Cited By ~ 8

Author(s):

Amer Saeed ◽

Rogério de Lemos ◽

Tom Anderson

Keyword(s):

Safety Analysis ◽

Safety Critical ◽

Requirements Specifications

Download Full-text

Methods and Techniques in Teaching: Jeopardy in the Classroom: A Game, an Assessment Tool, or Nonsense?

PsycEXTRA Dataset ◽

10.1037/e403372005-007 ◽

1974 ◽

Author(s):

Donald L. Tasto ◽

Keyword(s):

Assessment Tool ◽

Methods And Techniques

Download Full-text

Methods and Techniques in Teaching: Report on the Development of an Instructional Dream Laboratory

PsycEXTRA Dataset ◽

10.1037/e403362005-009 ◽

1974 ◽

Author(s):

Raymond E. Rainville ◽

Keyword(s):

Methods And Techniques

Download Full-text

Decision letter for "A real‐world efficacy and safety analysis of combined carfilzomib, lenalidomide, and dexamethasone (KRd) in relapsed/refractory multiple myeloma"

10.1002/hon.2820/v2/decision1 ◽

2020 ◽

Keyword(s):

Multiple Myeloma ◽

Real World ◽

Safety Analysis ◽

Efficacy And Safety ◽

Refractory Multiple Myeloma

Download Full-text

Development of Safety Analysis Code System of Beam Transport and Core for Accelerator Driven System

SNA + MC 2013 - Joint International Conference on Supercomputing in Nuclear Applications + Monte Carlo ◽

10.1051/snamc/201405202 ◽

2014 ◽

Author(s):

Naoto Aizawa ◽

Tomohiko Iwasaki

Keyword(s):

Safety Analysis ◽

Code System ◽

Beam Transport ◽

Driven System ◽

Accelerator Driven System

Download Full-text