Cycle de ré-ingénierie, restructuration, rétro-ingénierie, récupération de la conception (design recovery) et re-documentation. Niveaux d'abstraction et méthodes de représentation. Aspects d'analyse syntaxique. Techniques d'analyse statique du code source. Analyses de flux de contrôle et de flux de données. Autres techniques d'analyses de flux. Approches d'extraction et d'inférence de spécifications. Génération automatique de code. Analyse d'impact.
- Responsable du site: Ettore Merlo
- Enseignant (éditeur): Julien Cassagne
- Enseignant (éditeur): Guillaume Hackim Ricard