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