1 Introduction - Irisa

3.1.6 Analyse de mutation pour une classe ou un système ..... Quand l'erreur est corrigée, il convient de retester le programme pour s'assurer de la ..... OCL permet donc de décrire des contrats sur un modèle UML, et sera utilisé dans la suite ...... Le quantificateur « the » souligne que l'objet référencé doit être un singleton, ...