Séance de cours
Cette séance de cours explore les principales caractéristiques de la programmation orientée objet, en se concentrant sur la répartition dynamique, l'encapsulation, l'héritage et le sous-typage. L'instructeur explique comment ces caractéristiques peuvent être analysées par des méthodes de traduction et formelles, en utilisant des exemples en Java. La séance de cours couvre également l'essence des objets, la liaison tardive et les différences entre les objets et les types de données abstraites. Divers concepts tels que la liaison tardive, l'encapsulation d'état et le sous-typage sont explorés en détail, ainsi que des exemples pratiques et des extraits de code. La séance de cours se termine par des discussions sur les générateurs d'objets, les définitions de sous-classes et l'importance de séparer les définitions de méthodes des variables d'instance dans la conception des classes.