C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
rΣ: Automated reasoning tool for non-functional requirement goal models.
Bo Wei
Bin Yin
Zhi Jin
Didar Zowghi
Published in:
RE (2011)
Keyphrases
</>
automated reasoning
theorem proving
decision procedures
learning algorithm
relational databases
dynamic programming
knowledge representation
higher order
reasoning tasks