Lamsweerde, “Formal Refinement Patterns for Goal-Driven Requirements Elaboration (1996)

by R Darimont, A van
Venue:Proc. FSE’4 – 4th ACM Symp. on Foundations of Software Engineering