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

by Robert Darimont , Axel Van Lamsweerde
Citations:125 - 5 self