An Automatic Reasoning Mechanism for NFR Goal Models.

Bo Wei, Zhi Jin, Didar Zowghi

Browse the full TASE paper archive.