Requirements Analysis and Safety: A Case Study (using GRASP)

This publication has 8 references indexed in Scilit:

• Embracing causality in default reasoning
  Published by Elsevier ,2003
• Support for safety cases and safety arguments using SAM
  Reliability Engineering & System Safety, 1994
• Goal-directed requirements acquisition
  Science of Computer Programming, 1993
• Qualitative simulation: then and now
  Artificial Intelligence, 1993
• Representing and using nonfunctional requirements: a process-oriented approach
  IEEE Transactions on Software Engineering, 1992
• A Process-Oriented Approach to Design Rationale
  Human–Computer Interaction, 1991
• Temporal Logic of Programs
  Published by Springer Nature ,1987
• A qualitative physics based on confluences
  Artificial Intelligence, 1984