rΣ: Automated reasoning tool for non-functional requirement goal models.

Bo Wei, Bin Yin, Zhi Jin, Didar Zowghi

Browse the full RE paper archive.