John Mylopoulos. A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. In Manuel Kolp, Jean Vanderdonckt, Monique Snoeck, Yves Wautelet, editors, 13th International Conference on Research Challenges in Information Science, RCIS 2019, Brussels, Belgium, May 29-31, 2019. pages 1, IEEE, 2019. [doi]
Abstract is missing.