Généralités

Historique...

• structuration nécessaire des données: struct de C regroupement logique de diverses données
• données + fonctions : notion de modules et de package
• objet et classe
• héritage: A est une sorte de B (avec quelque chose de plus que A)
• réutilisation du logiciel.
  • objet et classe.
  • encapsulation: restreindre l'accès. données internes et externes, fonctions internes et externes: interface explicite. (en C, portée static, mais édition de liens sans beaucoup de vérifications).
  • séparer l'implémentation de la spécification: types de données abstraits.

    Une même spécification abstraite et plusieurs implémentations

  • liaison dynamique ou tardive conséquence directe du point précédent.

Notion de contrat (Eiffel):

• engagement entre le client et le vendeur: la spécification.
• le client ne peut utiliser le produit que par son interface qui est définie par cette spécification.
• l'implémentation est cachée au client.
• engagement conditionné. Si les préconditions sont assurées (par le client), le vendeur s'engage. Sinon pas d'engagement, mais le vendeur doit refuser le traitement (exception) et en avertir le client.
• implémentations différentes ou déléguées à d'autres. Mais respect de la spécification.
• héritage: le vendeur peut fournir un produit pouvant avoir de meilleures qualités et établir un sous contrat. Mais le produit fourni doit avoir au moins les propriétés spécifiées par le contrat.

  Si A est le produit, B est une sorte de A si B a au moins les propriétés de A.