Technique de programmation structurée ?
Bonjour,
salut à tout le monde,s'il vous plait je voudrez savoir les techniques de programmation structuré...
salut à tout le monde,s'il vous plait je voudrez savoir les techniques de programmation structuré...
Configuration: Windows XP Internet Explorer 6.0
1 réponse
-
Bonsoir,
Je n'ai plus les références fondamentales sous les yeux, je pense me souvenir que les fondateurs sont Wirth et Hoare dans les années 70, et une des techniques fondamentales pour prouver la validité d'un programme est celle d'invaraint de boucle. Cherche dans cette direction ...
Bonne soirée.