TY - GEN
T1 - Using measures for verifying and improving requirement models in MDD processes
AU - Giachetti, Giovanni
AU - Marin, Beatriz
AU - Franch, Xavier
N1 - Publisher Copyright:
© 2014 IEEE.
PY - 2014/11/14
Y1 - 2014/11/14
N2 - It is well known that an appropriate requirement specification is essential for the success of software development projects. In the model-driven development context, the requirement models can be used as entry artifacts for aligning the final software products with the stakeholders' needs. Thus, it is necessary to solve any modeling issue that may prevent the correct translation of the input requirement artifacts, i.e., the requirement models need to be verified for assuring the completeness of the design (MDD-oriented) models generated. In this paper, we face this issue by presenting an approach to integrate specific measures that automate the verification of a goal-oriented requirement approach-the i framework-in the context of a MDD development process.
AB - It is well known that an appropriate requirement specification is essential for the success of software development projects. In the model-driven development context, the requirement models can be used as entry artifacts for aligning the final software products with the stakeholders' needs. Thus, it is necessary to solve any modeling issue that may prevent the correct translation of the input requirement artifacts, i.e., the requirement models need to be verified for assuring the completeness of the design (MDD-oriented) models generated. In this paper, we face this issue by presenting an approach to integrate specific measures that automate the verification of a goal-oriented requirement approach-the i framework-in the context of a MDD development process.
KW - measure
KW - model verification
KW - model-driven development
KW - requirements
UR - http://www.scopus.com/inward/record.url?scp=84912089584&partnerID=8YFLogxK
U2 - 10.1109/QSIC.2014.52
DO - 10.1109/QSIC.2014.52
M3 - Conference contribution
AN - SCOPUS:84912089584
T3 - Proceedings - International Conference on Quality Software
SP - 164
EP - 173
BT - Proceedings - International Conference on Quality Software
PB - IEEE Computer Society
T2 - 14th International Conference on Quality Software, QSIC 2014
Y2 - 2 October 2014 through 3 October 2014
ER -