Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier. Specifying Components with Compositional Patterns, LOTOS and Design By Contract. In Imad Rahal, Rym Zalila-Wenkstern, editors, ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010, Hilton Fisherman s Wharf, San Francisco, CA, USA. pages 190-195, ISCA, 2010.
Abstract is missing.