Formal refinement patterns for goaldriven requirements elaboration (1996)

by R DARIMONT, A VAN LAMSWEERDE
Venue:ACM SIGSOFT Software Engineering Notes