ça n'a strictement rien à voir. En programmation par contrainte, tu résouds un problème en spécifiant les contraintes qui sont appliquées dessus (par exemple des contraintes d'inégalités pour des systèmes d'inéquiations puis ton "solveur" va te donner les valeurs des variables pour lesquels ces contraintes sont respectés).
La programmation par contrat, tu vérifies les entrés et les sorties de tes procédures/fonctions, si les valeurs reçues où renvoyées (ou même en cours d'éxecution parfois) respectent bien le contrat attendu (par exemple se situe dans la bonne plage de valeur)
enfin c'est mal expliqué et en gros.... je ne sais pas si ça éclairera quelqu'un
[^] # Re: Le plus gros plantage de l'histoire...
Posté par bobby6killer . En réponse au journal Et la palme du plus grand plantage informatique de l'histoire revient à.... Évalué à 2.
La programmation par contrat, tu vérifies les entrés et les sorties de tes procédures/fonctions, si les valeurs reçues où renvoyées (ou même en cours d'éxecution parfois) respectent bien le contrat attendu (par exemple se situe dans la bonne plage de valeur)
enfin c'est mal expliqué et en gros.... je ne sais pas si ça éclairera quelqu'un