Tu as aussi les méthodes plus spécifiques à l'informatique :
SADT
SART (SADT pour les temps réel)