A Framework for Requirements Analysis Using Automated Reasoning

David A. Duffy Craig MacNish John Alexander McDermid Philip Morris

Published in: CAiSE (1995)

Keyphrases

automated reasoning
requirements analysis
theorem prover
goal oriented
machine learning
object oriented
computational model
probabilistic inference
theorem proving