L'exemple peut être vu selon deux jours :
- on construit progressivement le programme, en utilisant des unités prédéfinies de bibliothèque ;
- on modifie le programme construit : la question est de savoir si la sémantique est conservée après les modifications.
1. Construction progressive
2. La modification du programme