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