SCR*: A Toolset for Specifying and Analyzing Software Requirements.

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj

Browse the full CAV paper archive.