Inferring declarative requirements specifications from operational scenarios (1998)

by A van Lamsweerde, L Willemet
Venue:IEEE Transactions on Software Engineering