Specifying Components with Compositional Patterns, LOTOS and Design By Contract

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.

Authors

Abdelhafid Zitouni

This author has not been identified. Look up 'Abdelhafid Zitouni' in Google

Mahmoud Boufaïda

This author has not been identified. Look up 'Mahmoud Boufaïda' in Google

Lionel Seinturier

This author has not been identified. It may be one of the following persons: Look up 'Lionel Seinturier' in Google