« Précondition » : différence entre les versions

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

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

Les préconditions doivent être satisfaites avant le déclenchement de la règle.

précondition

postulat d'entrée

precondition

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


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