Oui, par exemple à partir d'une description de haut niveau de type SA/RT, on devrait pouvoir déclarer toutes les variables globales et créer toute la structure d'appel du programme avec les paramètres qui vont bien, et il ne resterait qu'à coder les PS (les feuilles de l'arbre d'appel)