Analyse des Besoins (Spécifications) - Imagine

Principe : à partir du code source (ou d'un modèle) et spécification, produire des DT ... Le graphe G peut être exprimé sous une forme algébrique : soit M.