Verifying goal-oriented specifications used in model-driven development processes

Giovanni Giachetti, Beatriz Marín, Lidia López, Xavier Franch, Oscar Pastor. Verifying goal-oriented specifications used in model-driven development processes. Inf. Syst., 64:41-62, 2017. [doi]

No reviews for this publication, yet.