Lamsweerde, Deriving Operational Software Specifications from System Goals (2002)

by E Letier, A van
Venue:In: Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, ACM