Ce cours présente la problématique de la prise en compte des fautes à l'exécution. Ce cours mélange les trois dimensions : description d'objectifs formels, description de motifs de conceptions permettant de satisfaire les objectifs précédamment spécifiés, et des méthodes de vérification des motifs déployés et/ou d'analyse de leurs performances
