Actes - CIEL 2014 - Université Nice Sophia Antipolis
12 juin 2014 ... données, du génie logiciel et des systèmes. ... dans l'Assistance au
Développement de Logiciels) et CAL (Conférence ... Session 1 commune CAL /
CIEL : Composants ..... les transformations impliquées, leurs propriétés de
correction, .... de vérification formelle des langages impératifs ou orientés objet.