J. O. Aagedal, Quality of service support in development of distributed systems, p.3, 2001.

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

R. C. Cheung, A user-oriented software reliability model, IEEE Transactions on Software Engineering, pp.118-125, 1980.

W. P. De-roever, The Need for Compositional Proof Systems: A Survey, Proceedings of the Int. Symp. COMPOS'97, pp.8-12, 1997.
DOI : 10.1007/3-540-49213-5_1

S. Frolund and J. Koistinen, QoS specification in distributed object systems, Distributed Systems Engineering, 1998.

A. Gotlieb, B. Botella, and M. Rueher, Automatic test data generation using constraint solving techniques, ACM Int. Symp. on Software Testing and Analysis (ISSTA'98), also in Software Engineering Notes, pp.53-62, 1998.
DOI : 10.1145/271771.271790

N. Halbwachs, P. Caspi, P. Raymond, and D. Pillaud, The synchronous data flow programming language LUSTRE, Proc. of IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

C. Mchale, Synchronization in concurrent object-oriented languages: expressive power, genericity and inheritance " . Doctoral dissertation, Trinity College, Dept. of computer science, 1994.

B. Marre and A. Arnould, Test sequences generation from luster descriptions: Gatel " in 15 th IEEE Int, Conf. On Automated Software Engineering (ASE), pp.229-237, 2000.

C. Meudec, Automatic generation of software test cases from formal specifications, 1998.

B. Meyer, Object oriented software construction, 1997.

B. Meyer, Applying 'design by contract', IEEE Computer, pp.40-51, 1992.
DOI : 10.1109/2.161279

M. Object and . Group, UML Superstructure 2.0, 2003.

M. Object and . Group, UML2.0 Object Constraint Language RfP, 2003.

M. Object and . Group, CORBA Components, v3.0 " , adopted specification of the OMG, 2002.

M. Object and . Group, UML profile for schedulability, performance and time specification " . OMG adopted specification n° ptc/02-03-02, www.qccs.org, Quality Control of Component-based Software (QCCS) European project home page, 2002.

R. H. Reussner, The use of parameterized contracts for architecting systems with software components, Proc. of the 6 th Int. Workshop on Component-Oriented Programming (WCOP'01), 2001.

R. H. Reusnerr, H. W. Schmidt, and I. H. Poernomo, Reliability prediction for componentbased software architecture, the Journal of Systems and Software, pp.241-252, 2003.

J. Richter, Applied Microsoft .Net framework programming, 2002.

J. Stafford and H. Scott, The Software Engineering Institute's Second Workshop on Predictable Assembly: Landscape of compositional predictability, 2003.

C. Szyperski, Component software, beyond object-oriented programming, 2002.

K. Wallnau, Volume III: A technology for predictable assembly from certifiable components

T. Weis, Model metamorphosis, IEEE Software, pp.46-5103, 2003.
DOI : 10.1109/MS.2003.1231151

J. A. Whittaker and M. G. Thomason, A Markov chain model for statistical software testing, IEEE Transactions on Software Engineering, pp.812-824, 1994.
DOI : 10.1109/32.328991