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]

Authors

Giovanni Giachetti

This author has not been identified. Look up 'Giovanni Giachetti' in Google

Beatriz Marín

This author has not been identified. Look up 'Beatriz Marín' in Google

Lidia López

This author has not been identified. Look up 'Lidia López' in Google

Xavier Franch

This author has not been identified. It may be one of the following persons: Look up 'Xavier Franch' in Google

Oscar Pastor

This author has not been identified. Look up 'Oscar Pastor' in Google