Les méthodes formelles

Une révision complète du cycle de développement logiciel traditionnel permet de se dispenser des tests unitaires.