TITLE : CaRE: A refinement calculus for requirements engineering based on argumentation semantics AUTHOR(S) : Elrakaiby Y, Ferrari A, Mylopoulos J TYPE : Conference article YEAR : 2018 CODE : 396831 *** DO NOT EDIT THIS FILE ***