A model for a causal logic for requirements engineering

This publication has 13 references indexed in Scilit:

• CADi: An architecture for Z tools and its implementation
  Software: Practice and Experience, 1995
• Requirements Analysis and Safety: A Case Study (using GRASP)
  Published by Springer Nature ,1995
• CAUSAL FUNCTIONAL REPRESENTATION LANGUAGE WITH BEHAVIOR-BASED SEMANTICS
  Applied Artificial Intelligence, 1995
• Support for safety cases and safety arguments using SAM
  Reliability Engineering & System Safety, 1994
• Representing Plans Under Uncertainty
  Published by Springer Nature ,1994
• Applications of temporal logic to the specification of real time systems
  Published by Springer Nature ,1988
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• A qualitative physics based on confluences
  Artificial Intelligence, 1984
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• VIII.--THE LOGIC OF CAUSAL PROPOSITIONS
  Mind, 1951