T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.23-73
DOI : 10.1016/0169-7552(87)90085-7

J. Dong, Design component contracts, Phd thesis, 2002.

J. Dong, P. S. Alencar, D. Donald, and . Cowan, Automating the analyse of design component contracts, In software Practice and Experience, 2005.

E. Gamma, R. Helm, and R. Johnson, John Vlissides.: Design Patterns, Elements of Reusable Object- Oriented Software, 1995.

. Acme, Architectural Description of Component-Based Systems. Foundations of Component-Based Systems, pp.47-67, 2000.

F. Oquendo, PI-ADL: An architecture description language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures, ACM Software Engineering Notes, pp.29-33, 2004.

T. Taibi and D. C. Ngo, Modeling of distributed objects computing design patterns combination, Journal AMCS vol, vol.13, issue.2, pp.239-253, 2001.

A. Zitouni, Un framework pour l'utilisation des design patterns par intégration du langage de spécification LOTOS, Congré International en Informatique Appliquée CIIA05, novembre 2005, pp.9947-9947