. Bernholdt, A Component Architecture for High-Performance Scientific Computing, International Journal of High Performance Computing Applications, pp.163-202, 2006.

T. A. Luca-de-alfaro, . Henzinger-&-mariëlle, and . Stoelinga, Timed Interfaces, Timed Interfaces. In: Embedded Software , Second International Conference, pp.108-122, 2002.
DOI : 10.1007/3-540-45828-X_9

L. Baresi, C. Ghezzi, and &. S. Guinea, Applying 'Design by Contract'. Contributions to ubiquitous computing, pp.40-52, 1992.

A. Basu, M. Bozga, and &. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. et al., Multiple Viewpoint Contract-Based Specification and Design, 6th International Symposium, pp.200-225, 2007.
DOI : 10.1109/43.736561

A. Beugnard, O. Caron, J. Thibault, and &. Bruno-traverson, Assemblage de composants par contrats, Le modèle de composants ACCORD. RSTI -L'Objet, pp.11-46, 2005.
DOI : 10.3166/objet.11.4.11-46

A. Beugnard, J. Jezéquel, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and &. J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-12, 2006.
DOI : 10.1002/spe.767

P. Collet, J. Malenfant, and N. Rivierre, Composite Contract Enforcement in Hierarchical Component Systems, 6th International Symposium, pp.18-33, 2007.
DOI : 10.1007/978-3-540-77351-1_3
URL : https://hal.archives-ouvertes.fr/hal-01334910

I. Crnkovic and B. Hnich, Specification, implementation, and deployment of components, Communications of the ACM, vol.45, issue.10, pp.35-40, 2002.
DOI : 10.1145/570907.570928

W. Damm, Controlling Speculative Design Processes Using Rich Component Models, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.6-9, 2005.
DOI : 10.1109/ACSD.2005.35

W. Damm, B. Josko, A. Pnueli, and &. Votintseva, A discrete-time UML semantics for concurrency and communication in safety-critical applications, Science of Computer Programming, vol.55, issue.1-3, pp.1-3, 2005.
DOI : 10.1016/j.scico.2004.05.012

E. C. Kaboré, Contribution à l'automatisation d'un processus de construction d'abstractions de communication par transformations successives de modèles, 2008.

A. Keller and &. H. Ludwig, The WSLA framework: Specifying and monitoring service level agreements for web services, Journal of Network and Systems Management, vol.11, issue.1, pp.57-81, 2003.
DOI : 10.1023/A:1022445108617

M. Klusch, Information agent technology for the Internet: A survey, Data & Knowledge Engineering, vol.36, issue.3, pp.337-372, 2001.
DOI : 10.1016/S0169-023X(00)00049-5

A. Koudri and &. Champeau, MODAL: A SPEM Extension to Improve Co-design Process Models, International Conference on Software Process (ICSP'10), 2010.
DOI : 10.1007/978-3-642-14347-2_22
URL : https://hal.archives-ouvertes.fr/hal-00517463

. K. Philip, S. Mckinley, E. P. Masoud-sadjadi, &. Kasten, H. C. Betty et al., A Taxonomy of Compositional Adaptation, 2004.

P. K. Mckinley, S. Masoud-sadjadi, E. P. Kasten, &. Betty, and H. C. Cheng, Composing adaptive software, Computer, vol.37, issue.7, pp.56-64, 2004.
DOI : 10.1109/MC.2004.48

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

B. Morin, O. Barais, and J. Jézéquel, Models at Runtime to Support Dynamic Adaptation, Franck Fleurey & Arnor Solberg IEEE Computer, pp.46-53, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00477529

M. Ouederni and &. Salün, Tau Be or not Tau Be? A Perspective on Service Compatibility and Substituability, In: WCSI workshop on Componenet and Service Interoperability, 2010.

T. Ravichandran, &. Marcus, and A. Rothenberger, Software reuse strategies and component markets, Communications of the ACM, vol.46, issue.8, pp.109-114, 2003.
DOI : 10.1145/859670.859678

S. Saudrais, O. Barais, and L. Plouzeau, From formal specifications to QoS monitors., The Journal of Object Technology, vol.6, issue.11, pp.7-24, 2007.
DOI : 10.5381/jot.2007.6.11.a1

J. Sifakis, Component-Based Construction of Real-Time Systems in BIP, Computer Aided Verification, 21st International Conference, pp.33-34, 2009.
DOI : 10.1007/978-3-642-02658-4_4

R. Soley, &. Omg-staff-strategy, and . Group, Model Driven Architecture, 2000.

H. Thane, Monitoring, Testing and Debugging of Distributed Real-Time Systems, Royal Institute of Technology, 2000.

V. Tosic, K. Patel, and &. Bernard-pagurek, WSOL ??? Web Service Offerings Language, Web Services, E-Business, and the Semantic Web WSOL ? Web Service Offerings Language, pp.57-67, 2002.
DOI : 10.1007/3-540-36189-8_5

G. Waignier, Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants et orientés services, 2010.