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.

Abstract

Abstract is missing.