Lamsweerde. Formal re patterns for goal-driven requirements elaboration (1996)

by R Darimont, A van
Venue:Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering