Séance de cours

Invariants d'objet : Propriété et sonorité

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Description

Cette séance de cours couvre l'encodage de la propriété dans les programmes orientés objet, l'établissement de hiérarchies entre objets, et l'utilisation de la propriété pour limiter les dépendances. Il traite également des obligations de preuve pour les mises à jour sur le terrain, de la méthodologie pour les invariants d'objets et des défis dans la vérification automatique des programmes orientés objet.

Source officielle

Concepts associés (10)

Programmation orientée objet

La programmation orientée objet (POO), ou programmation par objet, est un paradigme de programmation informatique. Elle consiste en la définition et l'interaction de briques logicielles appelées objets ; un objet représente un concept, une idée ou toute entité du monde physique, comme une voiture, une personne ou encore une page d'un livre. Il possède une structure interne et un comportement, et il sait interagir avec ses pairs.

Interface (programmation orientée objet)

En programmation orientée objet, une interface est un ensemble de signatures de méthodes publiques d'un objet. Il s'agit donc d'un ensemble de méthodes accessibles depuis l'extérieur d'une classe, par lesquelles on peut modifier un objet, ou plus généralement communiquer avec lui. Pour rappel, la différenciation entre méthodes publiques et méthodes privées introduit une abstraction qui : empêche le programmeur d'application (qui emploie une classe) de manipuler l'objet de façon indue, puisque les seules modifications possibles d'une instance sont celles indiquées comme publiques par le concepteur de la classe ; permet au programmeur de la classe, de modifier l'implémentation interne de ces méthodes de manière transparente.

Ownership

Ownership is the state or fact of legal possession and control over property, which may be any asset, tangible or intangible. Ownership can involve multiple rights, collectively referred to as title, which may be separated and held by different parties. The process and mechanics of ownership are fairly complex: one can gain, transfer, and lose ownership of property in a number of ways. To acquire property one can purchase it with money, trade it for other property, win it in a bet, receive it as a gift, inherit it, find it, receive it as damages, earn it by doing work or performing services, make it, or homestead it.

Héritage (informatique)

En programmation orientée objet, l’héritage est un mécanisme qui permet, lors de la déclaration d’une nouvelle classe, d'y inclure les caractéristiques d’une autre classe. L'héritage établit une relation de généralisation-spécialisation qui permet d'hériter dans la déclaration d’une nouvelle classe (appelée classe dérivée, classe fille, classe enfant ou sous-classe) des caractéristiques (propriétés et méthodes) de la déclaration d'une autre classe (appelée classe de base, classe mère, classe parent ou super-classe).

State ownership

State ownership, also called government ownership and public ownership, is the ownership of an industry, asset, or enterprise by the state or a public body representing a community, as opposed to an individual or private party. Public ownership specifically refers to industries selling goods and services to consumers and differs from public goods and government services financed out of a government's general budget.

Afficher plus

Séances de cours associées (64)

Programmation orientée objet en C++ : introduction et encapsulation

Couvre les bases de la programmation orientée objet en C++, y compris l'encapsulation et la représentation de nombres complexes.

Programmation orientée objet : Polymorphisme et pointeurs

Explore des concepts de programmation orientés objet comme le polymorphisme et les pointeurs en C++.

Structures de données abstraites en C++

Couvre la programmation procédurale et orientée objet, les structures de données abstraites, les modèles et la bibliothèque standard C++.

Programmation orientée objet: Introduction à l'OPO

Introduit les concepts fondamentaux de programmation orientée objet en C++ et met l'accent sur la communication, les messages de forum, les enregistrements de projets et les installations.

Constructeurs & Destructeurs

Explore les concepts de programmation orientée objet en C++ en se concentrant sur les constructeurs, les destructeurs, les listes d'initialisation et la conception des constructeurs en coordonnées cartésiennes et polaires.

Afficher plus

Concepts associés (10)

Programmation orientée objet

Interface (programmation orientée objet)

Ownership

Héritage (informatique)

State ownership

Afficher plus