• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Framework for Requirements Analysis Using Automated Reasoning

David A. DuffyCraig MacNishJohn Alexander McDermidPhilip Morris
Published in: CAiSE (1995)
Keyphrases
  • automated reasoning
  • requirements analysis
  • theorem prover
  • goal oriented
  • machine learning
  • object oriented
  • computational model
  • probabilistic inference
  • theorem proving