Cours Composant 2. Qualité logicielle et spécifications algébriques
24 févr. 2008 ... Livre : Bertrand Meyer, Conception et programmation objet. 2005, .... utilisation
de spécifications (co-)algébriques, lointain héritier des types.
Un extrait du document