Définir les entrées
Les données attendues ont un type et des contraintes. Un algorithme de tri, par exemple, reçoit une collection d’éléments comparables. [1] [3]
Décrire les étapes
Chaque instruction doit pouvoir être exécutée sans décision implicite impossible à formaliser. Les boucles et les conditions organisent la progression. [1] [3]
Produire une sortie
Le résultat doit répondre au problème posé et conserver les propriétés annoncées. Tester quelques exemples ne suffit pas à le garantir pour tous les cas. [1] [3]
Évaluer
Le temps de calcul, la mémoire et l’exactitude permettent de comparer des méthodes qui donnent le même résultat. Le meilleur choix dépend de la taille et de l’usage. [3] [4]