« Postcondition » : différence entre les versions

Dernière version du 28 janvier 2024 à 11:45

Assertion s'appliquant à un point qui, dans la séquence d'exécution normale, suit immédiatement une partie du programme.

postcondition

postulat de sortie

postcondition

Version du 31 mars 2021 à 08:57 (voir la source) Pitpitt (discussion \| contributions) Aucun résumé des modifications ← Modification précédente		Dernière version du 28 janvier 2024 à 11:45 (voir la source) Pitpitt (discussion \| contributions) m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
Ligne 11 :		Ligne 11 :


	~~<small>~~		==Sources==
	[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8355463 Source : Le grand dictionnaire terminologique ]		[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8355463 Source : Le grand dictionnaire terminologique ]