Goal-Directed Requirements Acquisition (1993)

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