CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.

Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos

Browse the full RE paper archive.