pia-sofer
Un projet de modernisation n’est pas possible sans connaissance approfondie de l’existant.
Cette connaissance s’acquiert : à l’aide d’outils d’analyse automatique (parser, analyse sémantique, exploration de graphes,...) par la confrontation entre les connaissances formelles issues des explorations automatiques, et les connaissances professionnelles des programmeurs et utilisateurs.
Cette connaissance se dépose ensuite le plus souvent sous forme de dialectes XML ad hoc, retransformables (…)
A partir de quand un programme est-il considéré comme tel ?
A partir de sa deuxième exécution.
Un programme qui ne pourrait rendre à partir des mêmes prémisses et dans un même contexte un même résultat ne serait pas un programme.
L’itération est une condition du formalisme.
