Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos. CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. In Guenther Ruhe, Walid Maalej, Daniel Amyot, editors, 26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018. pages 364-369, IEEE Computer Society, 2018. [doi]
Abstract is missing.