| Constructions élémentaires | Mettre en évidence un corpus de constructions élémentaires. | Séquences, affectation, conditionnelles, boucles bornées, boucles non bornées , appels de fonctions . |
| Diversité et unité des langages de programmation | Repérer, dans un nouveau langage de programmation, les traits communs et les traits particuliers à ce langage. | Les manières dont un même programme simple s’écrit dans différents langages sont comparées. |
| Spécification | Prototyper une fonction.
Décrire les préconditions sur les arguments.
Décrire des postconditions sur les résultats. | Des assertions peuvent être utilisées pour garantir des préconditions ou des postconditions. |
| Mise au point de programmes | Utiliser des jeux de tests. | L’importance de la qualité et du nombre des tests est mise en évidence.
Le succès d’un jeu de tests ne garantit pas la correction d’un programme. |
| Utilisation de bibliothèques | Utiliser la documentation d’une bibliothèque | Aucune connaissance exhaustive d’une bibliothèque particulière n’est exigible. |