Slide 1Semantic Formalisms 2: Software Components Eric Madelaine [email protected] INRIA Sophia-Antipolis Oasis team UNICE – EdStic Mastère Réseaux et Systèmes…