Specifying Components With Specifying Components With Compositional Patterns, LOTOS Compositional Patterns, LOTOS And Design By Contract And Design By Contract Abdelhafid ZITOUNI Mahmoud BOUFAIDA Lionel SEINTURIER Laboratory LIRE Laboratory LIRE LIFL-INRIA ADAM University of Constantine University of Constantine University of Lille Algeria Algeria France ah_zitouni@yahoo.fr boufaida@hotmail.com Lionel.Seinturier@lifl.fr SEDE 2010, JUNE, 16-18, 2010