S.: Goal-directed requirements acquisition (1993)

by A Dardenne, A van Lamsweerde, Fickas
Venue:Science of Computer Programming