Login / Signup

Formal Refinement Patterns for Goal-Driven Requirements Elaboration.

Robert DarimontAxel van Lamsweerde
Published in: SIGSOFT FSE (1996)
Keyphrases