1. La structure d'Arbre : T.A. (Type Abstrait)
2. La structure d'Arbre : la méthode déductive
3. La structure d'Arbre : l'environnement monolingual
4. La structure d'Arbre : les environnements monolinguaux dédiés
5. La structure d'Arbre : la programmation paramétrée
Dans la « programmation inductive », on cherche à induire, d'un premier programme déjà écrit, un schéma de programme plus général, et donc plus facilement réutilisable. La démarche s'identifie assez clairement à la réalisation d'un prototype évolutif : il s'agit de partir d'un programme traitant une petite partie du problème et de la faire évoluer par ajout de fonctionnalités, amélioration des performances, accroissement de la complexité des cas traités. Elle est à rapprocher de celle proposée par la « programmation paramétrée », parce que :
Ces deux points entraînent qu'on doit disposer d'un outil qui permette une forte paramétrisation des programmes, parce qu'à l'instant où l'on écrit son programme on ne peut pas deviner quels seront les choix qu'on remettra en cause par la suite.
On range aussi la programmation inductive comme nécessitant un outil qui travaille sur des Graphes de Classes, pour les mêmes raisons qui on fait placer plus tôt la programmation déductive sous cette rubrique.
SAMPI (pour « Système d'Aide à la Maintenance des Programmes Interactif ») est l'outil que je propose ; il a déjà été présenté (cf. Chapitres 1, 2, 3, 4). Ici aussi le terme "outil" est un peu prématuré, puisque l'état actuel de mes travaux n'en permet guère une utilisation « en vraie grandeur ».