Goal-directed requirements acquisition (1993)

by A Dardenne, A van Lamsweerde, S Fickas
Venue:Selected Papers of the Sixth International Workshop on Software Specification and Design