TITLE : CaRE: a refinement calculus for requirements engineering based on argumentation theory AUTHOR(S) : Elrakaiby Y, Borgida A, Ferrari A, Mylopoulos J TYPE : Journal article YEAR : 2021 CODE : 458453 *** DO NOT EDIT THIS FILE ***