A Refinement Calculus for Requirements Engineering Based on Argumentation Theory.

Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos

Browse the full ER paper archive.