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

by R Darimont, A van Lamsweerde
Venue:Proc. of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4