Report - Ingegneria dei requisiti - zeus.ing.unibs.itzeus.ing.unibs.it/se/aa2013-2014/4_Requisiti.pdf · Requires Design graph rooted at input design identifier. Pre-condition The design is

Please pass captcha verification before submit form