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, ...