Inferring declarative requirements specifications from operational scenarios (1998)

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