The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.

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

Browse the full ICSE paper archive.