. Oslc, Open services for lifecycle collaboration, 2012.

P. Bengtsson, P. Bengtsson, and P. Bengtsson, Architecture-level modifiability analysis (ALMA), Journal of Systems and Software, vol.69, issue.1-2, 2002.
DOI : 10.1016/S0164-1212(03)00080-3

S. Bohner, Extending software change impact analysis into COTS components, 27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings., pp.175-182, 2002.
DOI : 10.1109/SEW.2002.1199468

P. Clarkson, C. Simons, and C. Eckert, Predicting Change Propagation in Complex Design, Journal of Mechanical Design, vol.126, issue.5, pp.788-797, 2004.
DOI : 10.1115/1.1765117

. Cmmi-product and . Team, Cmmi for development, version 1.3: Improving processes for developing better products and services, 2010.

W. Damm, H. Hungar, B. Josko, T. Peikenkamp, and I. Stierand, Using contractbased component specifications for virtual integration testing and architecture design, Design, Automation Test in Europe Conference Exhibition (DATE), pp.1-6, 2011.
DOI : 10.1109/date.2011.5763167

C. Eckert, P. Clarkson, and W. Zanker, Change and customisation in complex engineering domains, Research in Engineering Design, vol.15, issue.1, pp.1-21, 2004.
DOI : 10.1007/s00163-003-0031-7

O. Gotel and C. Finkelstein, An analysis of the requirements traceability problem, Proceedings of IEEE International Conference on Requirements Engineering, pp.94-101, 1994.
DOI : 10.1109/ICRE.1994.292398

H. Hungar, Compositionality with strong assumptions In: Nordic Workshop on Programming Theory, Mälardalen Real?Time Research Center, pp.11-13, 2011.

A. Rajan and T. Wahl, CESAR -Cost-efficient Methods and Processes for Safety-relevant Embedded Systems, pp.978-3709113868, 2013.
DOI : 10.1007/978-3-7091-1387-5

B. Ramesh, T. Powers, C. Stubbs, and M. Edwards, Implementing requirements traceability: a case study, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95), pp.89-95, 1995.
DOI : 10.1109/ISRE.1995.512549

B. G. Ryder and F. Tip, Change impact analysis for object-oriented programs, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering , PASTE '01, pp.46-53, 2001.
DOI : 10.1145/379605.379661

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=