Processus de formulation originale du problème informatique en programmes informatiques exécutables tels que l'analyse, le développement, les algorithmes et la vérification