Programmation/Programmation par contrat

Programmation générique Programmation générique
Eclipse Eclipse
  1. Historique
  2. Abstraction
Concepts de base
  1. Commentaires
  2. Instructions
  3. Variables
  4. Types
  5. Expressions
  6. Comparaisons
  7. Instructions de contrôle
  8. Entrées-sorties
Concepts spécifiques
  1. Manipulation de chaînes
  2. Procédures et fonctions
  3. Gestion de mémoire
  4. Gestion des exceptions
  5. Paradigmes de programmation
  6. Programmation séquentielle
  7. Programmation concurrente
  8. Programmation impérative
  9. Programmation orientée objet
  10. Programmation générique
  11. Programmation orientée aspect
  12. Programmation fonctionnelle
  13. Programmation logique
  14. Programmation par contrat
Logiciels
  1. Eclipse
  2. NetBeans
  3. PhpStorm
  4. PyCharm
  5. SciTE
  6. Visual Studio Code
Annexes
  1. Structure et style
  2. Règles de programmation
  3. Langages
  4. Bonjour le monde Catégorie:Programmation (livre)#Programmation%20par%20contrat%20

[ Modifier le sommaire ]

Programmation générique Programmation générique
Eclipse Eclipse
Ébauche (Liste complète des ébauches)

Cette page est considérée comme une ébauche à compléter . Si vous possédez quelques connaissances sur le sujet, vous pouvez les partager en éditant dès à présent cette page (en cliquant sur le lien « modifier »).

Ressources suggérées : Aucune (vous pouvez indiquer les ressources que vous suggérez qui pourraient aider d'autres personnes à compléter cette page dans le paramètre « ressources » du modèle? engendrant ce cadre)

Catégorie:Ébauches sans ressources suggérées Catégorie:À faireCatégorie:Wikilivres:ébauches

La programmation par contrat est un paradigme de programmation dans lequel le déroulement des traitements est garanti par des vérifications sur les données, ce qui permet d'être sûr que les traitements ne vont pas déclencher d'erreur. Il y a trois catégories de vérification :

  • Précondition : L'ensemble des conditions qui doivent être vérifiées avant le lancement d'un traitement donné. Ces conditions permettent de s'assurer que le déroulement du traitement est possible sans déclencher d'erreur.
  • Postcondition : L'ensemble des conditions qui doivent être vérifiées après le déroulement d'un traitement. Ces conditions permettent de s'assurer que le déroulement du traitement n'a pas déclenché d'erreur.
  • Invariant : L'ensemble des conditions qui doivent être vérifiées à tout moment, y compris au sein d'un traitement.

Le seul langage de programmation qui implémente ce paradigme est le langage Eiffel, mais des modules existent pour d'autres langages, comme JContractor pour Programmation Java.

Catégorie:Pages utilisant l'extension JsonConfig Catégorie:Programmation (livre) Catégorie:Wikilivres:ébauches Catégorie:À faire Catégorie:Ébauches sans ressources suggérées