Using SCR methods to capture, document, and verify computer system requirements (1999)

by C Heitmeyer
Venue:Center for Computer Science