I. Crnkovic, Component-based software engineering -new challenges in software development. Software Focus, 2001.

D. Garlan, Software Architecture: a Roadmap, The Future of Software Engineering, pp.91-101, 2000.

A. W. Brown and K. C. Wallnau, OMG: Unified modeling language: Superstructure, version 2, IEEE Software, vol.15, issue.5, pp.37-46, 1998.

, OMG: Corba components, 2002.

B. Traverson, Abstract model of contract-based component assembly (2003) AC-CORD RNTL project number 4 deliverable

E. Bruneton, T. Coupaye, and J. Stefani, , 2004.

F. Plásil, D. Balek, and R. Janecek, SOFA/DCUP: Architecture for component trading and dynamic updating, Proceedings of the Int. Conf. on Configurable Distributed Systems, pp.43-52, 1998.

F. Plásil and S. Visnovsky, Behavior protocols for software components, IEEE Trans. Softw. Eng, vol.28, issue.11, pp.1056-1076, 2002.

F. Hacklinger, Java/A -Taking Components into Java, pp.163-168, 2004.

A. Farías and M. Sudholt, On components with explicit protocols satisfying a notion of correctness by construction, On the Move to Meaningful Internet Systems: Int. Conf. CoopIS, DOA, and ODBASE Proc, vol.2519, pp.995-1012, 2002.

F. S. De-boer, J. F. Jacob, and M. M. Bonsangue, The OMEGA component model. Deliverable of the IST-2001-33522 OMEGA project, 2002.

P. Inverardi, A. L. Wolf, and D. Yankelevich, Static checking of system behaviors using derived component assumptions, ACM Trans. Softw. Eng. Methodol, vol.9, issue.3, pp.239-272, 2000.

J. Aldrich, C. Chambers, and D. Notkin, Archjava: connecting software architecture to implementation, Proceedings of ICSE, pp.187-197, 2002.

R. M. Dijkman, J. P. Almeida, and D. A. Quartel, Verifying the correctness of component-based applications that support business processes, Proc. of the 6th Workshop on CBSE: Automated Reasoning and Prediction, pp.43-48, 2003.

P. Inverardi and M. Tivoli, Software Architecture for Correct Components Assembly, Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture, vol.2804, pp.92-121, 2003.

A. Cechich, M. Piattini, and A. Vallecillo, Component-Based Software Quality: Methods and Techniques, vol.2693, 2003.