Modèle de développement logiciel qui repose sur une séquence de phases de développement suivie d'une phase de validation correspondante. Chaque phase de développement est vérifiée immédiatement après sa réalisation par une phase de test.