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
Design component contracts, Phd thesis, 2002. ,
Automating the analyse of design component contracts, In software Practice and Experience, 2005. ,
John Vlissides.: Design Patterns, Elements of Reusable Object- Oriented Software, 1995. ,
Architectural Description of Component-Based Systems. Foundations of Component-Based Systems, pp.47-67, 2000. ,
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. ,
Modeling of distributed objects computing design patterns combination, Journal AMCS vol, vol.13, issue.2, pp.239-253, 2001. ,
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 ,