et ça ne garantie pas que le programme fera ce que l'on veut (on peut très bien prouver un additionneur qui soustrait).
Ca faisait longtemps que j'attendais de lire ça! Reste à étendre le paradigme avec MDA et des modèles 'vivant' qui reflètent l'exécution dynamique du code.
[^] # Re: Pas exactement
Posté par Plouffe . En réponse au journal La sécurité informatique au 20h de TF1. Évalué à 1.
Ca faisait longtemps que j'attendais de lire ça! Reste à étendre le paradigme avec MDA et des modèles 'vivant' qui reflètent l'exécution dynamique du code.